ENTITY Isabelle Agent

Isabelle Agent

PulseAugur coverage of Isabelle Agent — every cluster mentioning Isabelle Agent across labs, papers, and developer communities, ranked by signal.

Total · 30d

0

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

0

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_154164 · Jul 21 · 04:00

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…