Awesome AI for Code
📄
Papers
🧭
Topics
🔥
Trending
🗺️
Map
🏆
Leaderboards
🎓
Learn
🤖
Ask AI
⋯
More
👥
Authors
📚
Reading Packs
📊
Datasets
🛠️
Tools
📰
News
📝
Blogs
✉️
Newsletter
🎯
Research Radar
🔖
Saved
+ Add Paper
☾
☀
← all topics
overview
Symbolic Computation
loading…
🤖
Ask AI
Awesome Symbolic Computation — curated papers, datasets & benchmarks · Awesome AI for Code
← all topics
overview
Symbolic Computation
2 papers tagged Symbolic Computation — re-sort below
Papers
🔥 Trending (default)
📚 Most cited
🆕 Newest first
🔤 A → Z by title
2 papers · trending (default)
numbers = 🔥 heat
Debugging code world models
(2026)
Babak Rahmani
1.72
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
(2026)
Josef Urban
1.67