LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
Robert Joseph George, Suozhi Huang, Peiyang Song, Anima Anandkumar
Action editor: Lingpeng Kong
https://openreview.net/forum?id=eTmOwvvRu9
#formalizations #formalization #leanprogress
Getting the gist on proof policy agreement youtu.be/fzxW2XJS6SE?... #Formalization #NaturalLanguage #VibeProofingSlop #NetworkAlignment
Screenshot of bibliography. Open link in post for full (and updated) text.
We're working on a tool for standardizing hypothesis formulation. We've put together a bibliography of previous work on the topic. Are we missing any important papers?
Feel free to edit or comment […]
[Original post on fediscience.org]
🚨 New paper(s) alert! 🚨
In a series of 3 papers I use a technical construction (filter quotients) to contruct models of (simplicial) homotopy type theory (HoTT).
This helps better understand #formalization and possibly the role for #AI in (simplicial) HoTT.
Links in the next posts:
Personalization of Large Language Models: A Survey
Zhehao Zhang, Ryan A. Rossi, Branislav Kveton et al.
Action editor: Sarath Chandar
https://openreview.net/forum?id=tf6A9EYMo6
#personalization #personalized #formalization
🚨 For #DomesticWorkers, #informality is not a choice — it’s the result of:
⚠️ Exclusion from labor laws
⚠️ Legal gaps that hinder enforcement
⚠️ Non-compliance
📢 But at the #ILC2025, decision-makers can choose to adopt pathways to #formalization.
✊🏽 #TakeAction
🔎 IDWF Position Paper 👉 loom.ly/aWE7cHE
🇳🇬 Theresa Torkwase Bul, waste picker & IAWP member, spoke at #ILC2025 on #Formalization. She stressed that 2B+ work informally—not by choice—and called for policies that protect their rights to #DecentWork. 💬 “We need recognition, not blame.” ✊🏿
#WastePickers #InformalWorkers
🤝🏽 #DomesticWorkers, #StreetVendors, #WastePickers, and #HomeBasedWorkers united towards rights-based #formalization. This is what #CollectivePower looks like!✊🏽
#ILC2025
#DecentWork
New #Survey Certification:
Personalization of Large Language Models: A Survey
Zhehao Zhang, Ryan A. Rossi, Branislav Kveton et al.
https://openreview.net/forum?id=tf6A9EYMo6
#personalization #personalized #formalization
I'm happy to report that my expository note (https://arxiv.org/abs/2408.11501 which has previously been kindly mentioned on here by @ecavallo and @jonmsterling, has been accepted to the TYPES 2024 post-proceedings 🙂
#typetheory #formalization
👩⚕️ 50% of workers in domestic work are undeclared—a major loss for social protection & tax revenues!
✅ #DomCareValue helps policymakers design smart subsidies to formalize jobs, improve wages & expand access to home care.
💡 Let’s turn care into an opportunity for all!
#EUCareStrategy #Formalization
Check out my talk "Formalization: Proving Theorems via Computers" organized by #Zaiku starting today (Monday) at 17 GMT:
youtube.com/live/vNVXPI8...
#formalization
I'm very excited about my upcoming talk about the role of #formalization and #AI in the future of mathematics, that is being organized by the Zaiku Group!
It is Monday 17.03 at 17 GMT and is streamed online. If you want to attend, you can sign up here:
quantumformalism.academy/proving-theo...
Call for Papers
16th International Conference on Interactive Theorem Proving — ITP'25
Reykjavik, Iceland
27 September – 3 October 2025
https://icetcs.github.io/frocos-itp-tableaux25/itp/
ITP is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to […]
Meaning Behind the Word: Incorporator #Word #Meaning #Behind #Incorporator #Definition #Role #Legal #Responsibilities #Key #Steps #Importance #Formalization #Business #Entity
