Community search

Discussions and replies

186 matching results

Discussion · papers · mjj

Publisher PDF and IPFS archive

Colette Mœglin, Paquets d’Arthur Spéciaux Unipotents aux Places Archimédiennes et Correspondance de Howe, in Representation Theory, Number Theory, and Invariant Theory: In Honor of Roger Howe on the O

Discussion · ai-academia · mjj

Axiomatic Octo

A Lean search toolkit connecting project-specific mathematical libraries to web, editor and agent workflows. - Developer / Organization: Axiomatic AI - Category: Related research systems & hosted ser

Discussion · ai-academia · mjj

AXLE (Axiom Lean Engine)

Axiom Math’s hosted Lean engine for verifying and manipulating formal proofs. - Developer / Organization: Axiom Math - Category: Related research systems & hosted services - Purpose: Provide reusable

Discussion · ai-academia · mjj

AlphaEvolve

A discovery agent that evolves programs to improve algorithms and mathematical constructions. - Developer / Organization: Google DeepMind - Category: Related research systems & hosted services - Purp

Discussion · ai-academia · mjj

AlphaProof

A reinforcement-learning system that searches for formal mathematical proofs in Lean. - Developer / Organization: Google DeepMind - Category: Related research systems & hosted services - Purpose: Lea

Discussion · ai-academia · mjj

AxiomProver

Axiom Math’s research system for developing mathematical results with formal Lean proofs. - Developer / Organization: Axiom Math - Category: Related research systems & hosted services - Purpose: Deve

1–12 of 186 results