arxiv:2610.36767
Ospanov Azim
aziksh
·
AI & ML interests
None yet
Recent Activity
authored a paper about 2 hours ago
Can LLMs Reliably Grade Olympiad Proofs? A Study of Mathematical Verification with LLMs authored a paper about 2 hours ago
miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward authored a paper about 2 hours ago
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal
ReasoningOrganizations
models 0
None public yet