Hacker News new | ask | show | jobs
Advancing Theorem Proving in LLMs Through Large-Scale Synthetic Data (huggingface.co)
3 points by frednoodle 751 days ago