Robuta

https://openreview.net/forum?id=VVO3ApdMUE Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning | OpenReview We analyse the complexity of the satisfiability problem, or similarly feasibility problem, (trSAT) for transformer encoders (TE), which naturally occurs in... formal reasoning transformer encoder satisfiability complexity https://www-formal.stanford.edu/ Formal Reasoning Group formal reasoning group https://arxiv.org/abs/2504.11354v1 [2504.11354v1] Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement... Abstract page for arXiv paper 2504.11354v1: Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning https://arxiv.org/abs/2604.17010 [2604.17010] Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal... Abstract page for arXiv paper 2604.17010: Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification https://www.fernuni-hagen.de/wbs/dkbkik2017_program.html KI 2017: Workshop Formal and Cognitive Reasoning (DKB-2017/KIK-2017) 2017 workshop cognitive reasoning ki formal dkb https://aclanthology.org/2021.acl-long.528/ Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning - ACL... Pan Lu, Ran Gong, Shibiao Jiang, Liang Qiu, Siyuan Huang, Xiaodan Liang, Song-Chun Zhu. Proceedings of the 59th Annual Meeting of the Association for... https://huggingface.co/blog/AI-MO/kimina-prover Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models A Blog post by Project-Numina on Hugging Face