dginev Profile Banner
Deyan Ginev Profile
Deyan Ginev

@dginev

Followers
1K
Following
12K
Statuses
9K

Researching NLP for Math-rich documents. LaTeXML dev. Software Engineer at arXiv creator of https://t.co/3d4VTPw7Lj

New York, NY
Joined March 2009
Don't wanna be here? Send us removal request.
@dginev
Deyan Ginev
@dginev
2 days
To all: Thanks for all the ar5iv bug reports! Keep filing them. Hard/large problems benefit from a prioritization signal.
@layer07_yuxi
Yuxi on the Wired
@layer07_yuxi
2 days
@gwern @willccbb can confirm. we filed 42 bug reports 2 years ago on at ar5iv. just checked... 31/42 still open. it's a good project, but it just seems like latex is *hard* and irreducible to html.
0
1
5
@dginev
Deyan Ginev
@dginev
3 days
RT @willccbb: Only look at Arxiv papers. Use HTML (/abs/ -> /html/) to see full paper contents.
Tweet media one
0
6
0
@dginev
Deyan Ginev
@dginev
3 days
RT @nobf16measures: "arxiv" -> "ar5iv" -> Enter Obsidian Web Clipper -> "Add to Obsidian"
Tweet media one
0
1
0
@dginev
Deyan Ginev
@dginev
3 days
Exactly.
@universeinanegg
Ari Holtzman
@universeinanegg
3 days
I really, really need a Speechify app that can read math.
0
0
1
@dginev
Deyan Ginev
@dginev
3 days
RT @lmthang: Excited to share details of AlphaGeometry2 (AG2), part of the system that achieved silver-medal standard at IMO 2024 last July…
0
181
0
@dginev
Deyan Ginev
@dginev
3 days
RT @PracheeAC: Some of the things supported by the overhead on NIH grants: - Building and laboratory maintenance (repairs, cleaning, secur…
0
128
0
@dginev
Deyan Ginev
@dginev
3 days
RT @mbeisen: This is simultaneously insane and an attack on universities - especially public ones- but also a system administrations have e…
0
66
0
@dginev
Deyan Ginev
@dginev
4 days
paper:
@omarsar0
elvis
@omarsar0
4 days
paper:
0
0
1
@dginev
Deyan Ginev
@dginev
4 days
We made it! 🌟1k Thank you everyone for adding order to the universe.
0
0
1
@dginev
Deyan Ginev
@dginev
4 days
@fsfarimani Hey, that is great exposure - thank you!
0
0
1
@dginev
Deyan Ginev
@dginev
4 days
@mihaimaruseac Thank you!! 999 is just waiting for one more lucky click ...
0
0
1
@dginev
Deyan Ginev
@dginev
6 days
RT @zeddotdev: We've been working on an exciting new AI feature for the past few months and are now ready to expand our beta testing. Click…
0
39
0
@dginev
Deyan Ginev
@dginev
6 days
🗓️The January 2025 arXiv articles are now in ar5iv.
@dginev
Deyan Ginev
@dginev
1 month
🗓️ The December 2024 arXiv articles are now in ar5iv.
0
0
1
@dginev
Deyan Ginev
@dginev
7 days
RT @leanprover: 📢This is an incredible result! We're very excited to see how this evolves! #leanlang #leanprover
0
8
0
@dginev
Deyan Ginev
@dginev
9 days
RT @wolfejosh: Outstanding counter take on AI from @SakanaAILabs co-founder David Ha @hardmaru
0
2
0
@dginev
Deyan Ginev
@dginev
9 days
@ownyourweights The conversion errors. The experimental look is a warning about the expected breakage you will encounter in the HTML today.
1
0
2
@dginev
Deyan Ginev
@dginev
9 days
RT @QuantaMagazine:
0
17
0
@dginev
Deyan Ginev
@dginev
9 days
RT @QuantaMagazine: Large language models seem, at times, capable of complex reasoning. But they also fail at basic tasks. A lot. https://…
0
14
0
@dginev
Deyan Ginev
@dginev
11 days
RT @SchmidhuberAI: DeepSeek [1] uses elements of the 2015 reinforcement learning prompt engineer [2] and its 2018 refinement [3] which coll…
0
842
0