https://jaalonso.github.io/vestigium/esContents © 2026 <a href="mailto:">José A. Alonso</a> <a rel="license" href="https://creativecommons.org/licenses/by-nc-sa/4.0/"> <img alt="Creative Commons License BY-NC-SA" style="border-width:0; margin-bottom:12px;" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png"></a>Thu, 01 Oct 2026 12:59:57 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2025/05/08-readings_shared_05-08-25/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 8 May 2025 are</p> <ul> <li><a href="https://arxiv.org/abs/2505.04013">SAT-solving the poset cover problem</a>. ~ Chih-Cheng Rex Yuan, Bow-Yaw Wang. #ATP #SAT_solvers #Z3</li> <li><a href="https://arxiv.org/abs/2505.02735">FormalMATH: Benchmarking formal mathematical reasoning of large language models</a>. ~ Zhouliang Yu et als. #LLMs #Autoformalization #Math #ITP #LeanProver</li> <li><a href="https://arxiv.org/abs/2505.04528">Beyond theorem proving: Formulation, framework and benchmark for formal problem-solving</a>. ~ Qi Liu et als. #LLMs #ITP #LeanProver</li> <li><a href="https://www.youtube.com/live/nD93M2qlwMk">The Haskell Unfolder Episode 43: Monomorphism restriction and defaulting</a>. ~ Edsko de Vries, Andres Löh. #Haskell #FunctionalProgramming</li> <li><a href="https://cacm.acm.org/opinion/what-is-programming/">What is programming?… and what is programming in the age of artificial intelligence?</a> ~ Sebastian Nicolajsen, Claus Brabrand. #Programming</li> </ul>ATPAutoformalizationFunctionalProgrammingHaskellITPLeanProverLLMsMathProgrammingSAT_solversZ3https://jaalonso.github.io/vestigium/posts/2025/05/08-readings_shared_05-08-25/Thu, 08 May 2025 04:00:00 GMT