Jonathan Gorard's banner
Jonathan Gorard's profile picture

Jonathan Gorard

@getjonwithit • 46,090 subscribers

Applied mathematician, computational physicist @Princeton Previously @Cambridge_Uni Making the universe computable.

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

48,693 次观看 • 12 天前

没有更多内容可加载