Top Tweets for #formalMethods
Lean4Agent brings formal modelling and verification into agent workflows. That is where the agent debate needs to go: less charm, more proof that the steps actually hold together.
Source: https://t.co/JEK0uH1uSQ
#AIAgents #FormalMethods
Zero-State Axioms: Minimal Boundary Structure, Structural Consequences, and Semantic Models
https://t.co/ZaOhEsvjFM
#Logic #MathematicalLogic #ModelTheory #ProofTheory #FormalMethods #Semantics #Preprint #OpenScience #ZSA
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
Readings shared April 29, 2026. https://t.co/PFHeRXhQk9 #AI4Math #Agda #Emacs #FormalMethods #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math
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
What works and doesn't selling formal methods in industry. ~ Mike Dodds. https://t.co/DQU8umdFxv #FormalMethods
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
Boa noite! Primeiro ciclo da semana encerrado com sucesso. Agora é hora de descansar, porque amanhã a caçada aos erros em invariantes recomeça com força total.
#SoftwareEngineering #FormalMethods #CyberSecurity #Rest
@OCamlPro sera à #ETAPS2026, du 11 au 16 avril à Turin pour l’#IndustryDay
Au programme :
🔹 #FormalMethods avec Alt-Ergo et #Owi
🔹 Orchestration des tests avec #SeaCoral
Venez découvrir nos avancées et échanger sur les applications de nos outils
Infos : https://t.co/dp5P132yP1
FormalEvolve: Neuro-Symbolic Evolutionary Search for Diverse and Prover-Effective Autoformalization
Preprint: FormalEvolve is a neuro-symbolic framework for autoformalization, gene…
https://t.co/OiPIbhli9V #AI #FormalMethods #MachineLearning #Preprint #Arxiv #ScienceNews
Refinement Modeling and Verification of RISC-V Assembly using Knuckledragger
https://t.co/d16zKzxFke #assembly #riscv #formalmethods #python with video https://t.co/CqVAlby7cH
極端流VDMチャンネル
第5回 - VDMでUIプロトタイプを動かしてみよう
を公開しました。
https://t.co/7CPgfNwd2D
#VDM #FormalMethods #ViennaTalk #LivelyWalkThrough
極端流VDMチャンネル
第4回 - 番外編：ダイナブック
が公開されました。
https://t.co/mYGIXO00eB
#VDM #FormalMethods #ViennaTalk #Dynabook
極端流VDMチャンネル
第2回 - ViennaTalk をインストールしよう
https://t.co/r3JmcklHLs
を公開しました。
#FormalMethods #VDM #ViennaTalk
Happy to announce @bugarela, creator of Quint.
Sharing how formal specifications can meaningfully guide LLM workflows.
#TYPED #AI #FormalMethods
Last Seen Hashtags on Sotwe
Most Popular Users
Elon Musk 
@elonmusk
240.2M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
109.1M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.3M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.6M followers
KATY PERRY
@katyperry
86.9M followers
Taylor Swift
@taylorswift13
80.7M followers
Lady Gaga
@ladygaga
72.3M followers
Kim Kardashian
@kimkardashian
69.4M followers
Virat Kohli
@imvkohli
68.7M followers
YouTube
@youtube
68.6M followers
Bill Gates
@billgates
63.5M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
61.3M followers
X
@x
60.9M followers
Selena Gomez
@selenagomez
60M followers