Jonathan Gorard's banner
Jonathan Gorard's profile picture

Jonathan Gorard

@getjonwithit • 47,120 subscribers

Co-founder and CEO @lanyon_ai, making the universe computable. Part-time math/physics research @Princeton Previously @Cambridge_Uni @WolframResearch

Videos

LIVE
1.2k

Anya Rossi

sweetdream.ai

SweetDream.aiSponsored•Livecam
Streaming Now

Watch Anya Live

Anya is streaming live right now! Join her private show and enjoy exclusive content.

HD live stream
Exclusive private shows
1.2k viewers online

Free preview available • Premium content

New project: a coding and formal verification agent for computational physics and applied mathematics. Auto-generate type-correct DSL code for equations and numerical schemes, autoformalize correctness properties in Lean/Isabelle/Rocq, then compile down to provably-correct C code
0:46
getjonwithit's profile picture

New project: a coding and formal verification agent for computational physics and applied mathematics. Auto-generate type-correct DSL code for equations and numerical schemes, autoformalize correctness properties in Lean/Isabelle/Rocq, then compile down to provably-correct C code

Jonathan Gorard

52,681 views • 5 months ago

No more content to load