Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools
Hide and Seek with LLMs: An Adversarial Game for Sneaky Error Generation and Self-Improving Diagnosis
arxiv.org·10h
Frequency Point Game Environment for UAVs via Expert Knowledge and Large Language Model
arxiv.org·10h
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·10h
Software books I wish I could read
buttondown.com·1h
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·10h
Loading...Loading more...