Top Tweets for #FormalMethods
Zero-State Axioms: Minimal Boundary Structure, Structural Consequences, and Semantic Models
https://t.co/r2jyqIJlju
#Logic #MathematicalLogic #ModelTheory #ProofTheory #FormalMethods #Semantics #Preprint #OpenScience #ZSA
LLMs modeling real-world systems in TLA+ explained: asking a pattern-matcher to write formal proofs. It's great at sounding confident about the logic, terrible at catching the edge cases that break everything.
#LLM #TLAPlus #FormalMethods #SystemsDesign
Reviews and arXiv sponsors wanted.
If you can't get through the full monograph or replay the proofs right away, that’s okay. Ask questions.
Fork it. Break it. Star it.
Skeptics encouraged!
https://t.co/ma1MwbhsqS
#Coq #FormalMethods #TheoremProving #TypeTheory #TheoreticalCS
The Thiele Machine first arXiv submission!
#Coq, #FormalMethods, #TheoremProving, #TypeTheory & #TheoreticalCS
Independent researchers w/o university affiliation or prior papers must be sponsored to proceed.
Please consider this!
Reply or email [email protected]
Ideal for those experienced with Coq, type theory, or foundations of computation.
Open source (Apache 2.0 + patent pledge).
Appreciate serious eyes confirming the verification structure.
#Coq #FormalMethods #TheoremProving #TypeTheory #TheoreticalCS
Monday 26 May, 15:30, at Chalmers Johanneberg:
Dubhashi, Urban & Coquand on AI for Mathematics: from Math Olympiads to autoformalizing the deepest results in logic.
Won't be there myself, but you might be!
🔗 https://t.co/IXQ9VJ4fO6
#Mathematics #AI #FormalMethods
[New Blog Post] Reading Proof Objects and Completed Rewrite Systems from eprover into Knuckledragger https://t.co/H4CDLSfNOB #python #logic #automatedtheoremproving #formalmethods
The Thiele Machine is one attempt to expose and address this.
Coq proofs included. The 4-step argument is simple and brutal.
Prove me wrong, or help explore what comes next.
https://t.co/ma1MwbhsqS
#ComputationLimits #FormalMethods #Coq #VerifiedAI #TheoryOfComputation
Proof-Carrying Algebraic Execution for parallel accelerators: verifiable algebraic execution paths for safer, faster GPU/accelerator computation—proofs at runtime.
#GPU #HPC #ParallelComputing #Compilers #Accelerators #CUDA #LLVM #MLIR #FormalMethods
https://t.co/Kzx74Gwxgj
The Thiele Machine is complete, executable, and internally consistent.
I dare you to break it. Not hand-wave—break it.
Show the contradiction, failure or collapse.
If you can’t, that’s on you.
#ProofChallenge
#TheoryOfComputation
#FormalMethods
https://t.co/ma1MwbhsqS
Automatic verification — the kind that gives you a proof or a counterexample, not an uninformative score—used to be the niche of #formalmethods PhDs. With LLMs as autoformalizers and agents as orchestrators, it's feasible for every use case—from simplest to mission-critical tasks
#FormalMethods #GovernedAI #ARISJust published the Voss Binding (Λ) — Formal Spec + Python impl for ARIS Runtime. Unconditional post-Δ operator that forces permanent coupling cost. 1M-cycle sim shows ~9.9M debt and permanent bound state. All guarantees hold. https://t.co/XFH6BnhstJ @elonmusk @grok @xai @karpathy @ID_AA_Carmack @gdb @ylecu https://t.co/78MgRTZgHM
Readings shared April 29, 2026. https://t.co/PFHeRXhQk9 #AI4Math #Agda #Emacs #FormalMethods #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math
FormalScience tackles a hard frontier: turning informal scientific reasoning into verifiable Lean code with a human-in-the-loop agentic pipeline.
Source: https://t.co/qExkbfi9ud
#AIResearch #FormalMethods
Just pushed the biggest update yet to The Thiele Machine: a Coq‑verified, cost‑aware abstract machine with a working Python VM + Verilog core, all kept in lockstep by automated 3‑way isomorphism tests.
#FormalMethods
#Coq
#VerifiedHardware
Think of it as type checking, but for confidence.
At the ICLR 2026 Workshop on Logical Reasoning of LLMs today — Riocentro 202 A/B, Rio. Joint w/ @ShlokGilda.
Paper: https://t.co/S4rtfUoJnu
#ICLR2026 #AI #FormalMethods
What works and doesn't selling formal methods in industry. ~ Mike Dodds. https://t.co/DQU8umdFxv #FormalMethods
Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints
👥 Kevin Kappelmann, Maximilian Schäffeler, Lukas Stevens et al.
#AIResearch #MachineLearning #FormalMethods #Isabelle
🔗 https://t.co/iNUIXbgJTM
Chain-of-thought needs a seatbelt. Symbolic knowledge graphs provide it.
Read the camera-ready preprint here: https://t.co/rIiaH2xd8N
#MachineLearning #ICLR2026 #LLMs #AIAgents #FormalMethods
Last Seen Hashtags on Sotwe
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.7M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.2M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.5M followers
KATY PERRY
@katyperry
86.7M followers
Taylor Swift
@taylorswift13
80.5M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.3M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.4M followers
Bill Gates
@billgates
63.3M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
60.9M followers
X
@x
60.9M followers
CNN Breaking News
@cnnbrk
59.9M followers