arxiv.org
arxiv.org is a tool shared on X. It is ranked #879 on the AI Radar, in AI research, first seen 2 days ago and shared in 1 post (3.2k views).
What people said about arxiv.org on X
New paper on TLAPS-Bench, "a benchmark and execution harness for constructing machine-checked proofs for real-world system specifications in TLA+ with agentic AI” It turns out that TLAPS-Bench revealed that my TLA+ specification of SlateDB's WAL protocol demonstrates a read consistency bug, and it looks like SlateDB…
— @vanlightly, 2 days ago · 30 likes · see the post
Alternatives to arxiv.org
- academy.dair.ai — Chat with Paper
- alphaXiv — Now on @askalphaxiv
- flashprove — Further progress in provable inference will likely be an important part of improving trust in AI deployment. To that…
- moe-blogpost — A hands-on guide to training Mixture-of-Experts models
- liberai.com — Technical blog
- Science's Last Exam — Can AI do research, end to end? Science's Last Exam defines and measures whether an AI agent can carry a research goal…
arxiv.org in numbers
- Rank on the AI Radar: #879 of 10402
- Shared in 1 post by 1 account: @vanlightly
- 3.2k views on those posts
- First seen 2 days ago, last shared 2 days ago
- Pricing seen by AGK Intelligence: free
- Market: AI research
FAQ
What is arxiv.org?
It was first shared on X 2 days ago and is ranked #879 on the AI Radar.
Is arxiv.org free?
Yes, it is free to use.
Who shared arxiv.org?
1 account on X, including @vanlightly, in 1 post totalling 3.2k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 65.6k posts from 5k X accounts over the last 14 days, 10.4k tools, 19 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 15:10 UTC. Full method.