home.social

#aiformath — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #aiformath, aggregated by home.social.

José A. Alonso @[email protected] · 2025-06-14 · 09:19 UTC

Readings shared June 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/06/14-readings_shared_06-13-25 #AI #AIforMath #Autoformalization #CoqProver #HOL_Light #ITP #IsabelleHOL #LLMs #LeanProver #Logic #MLLMs #Math #Rocq

#rocq #math #mllms #logic #leanprover #llms
José A. Alonso @[email protected] · 2025-06-12 · 06:18 UTC

Readings shared June 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/06/12-readings_shared_06-11-25 #AIforMath #CompSci #IA #ITP #LeanProver #Logic #Math #RustLang #SMT #Z3

#z3 #smt #rustlang #math #logic #leanprover
José A. Alonso @[email protected] · 2025-06-11 · 09:10 UTC

Readings shared June 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/06/11-readings_shared_06-10-25 #AI #AIforMath #ATP #AlphaProof #Emacs #ITP #IsabelleHOL #LLMs #LeanProver #Math #Prover9

#prover9 #math #leanprover #llms #isabellehol #itp
José A. Alonso @[email protected] · 2025-06-10 · 12:06 UTC

AlphaProof - Aprendizaje por refuerzo aplicado a la demostración matemática. https://jaalonso.github.io/vestigium/posts/2025/06/10-alphaproof-aprendizaje-por-refuerzo-aplicado-a-la-demostracion-matematica/ #AI #Math #AIforMath #ITP #LeanProver #AlphaProof

#alphaproof #leanprover #itp #aiformath #math #ai
José A. Alonso @[email protected] · 2025-06-10 · 11:13 UTC

AlphaProof: When RL meets formal maths. ~ Thomas Hubert. https://www.youtube.com/live/xZIqn4V6O0A #AI #Math #AIforMath #ITP #LeanProver #AlphaProof

#alphaproof #leanprover #itp #aiformath #math #ai