ENTITY
Joshua Jun Leang Ong
Joshua Jun Leang Ong
PulseAugur coverage of Joshua Jun Leang Ong — every cluster mentioning Joshua Jun Leang Ong across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
AI models tackle unsolved math problems with formal proofs and new discoveries
Two new research papers explore the capabilities of large language models in advanced mathematical reasoning and discovery. The first paper introduces Magenta, a system that bridges informal natural language math proble…
-
AI advances formal proof systems with new tools and benchmarks · 4 sources tracked
Researchers have developed new tools and benchmarks for formal theorem proving, an area increasingly relevant to AI. One paper details an interactive sequent prover for Event-B, encoded in Prolog, which offers advantage…