Learning dynamic polynomial proofs

Alhussein Fawzi, Mateusz Malinowski, Hamza Fawzi, Omar Fawzi

Feb-11-2026, 13:14:57 GMT–Neural Information Processing Systems

In this work, we introduce a machine learning based method to search for adynamic proof within these proof systems.

artificial intelligence, machine learning, polynomial, (18 more...)

Neural Information Processing Systems

Feb-11-2026, 13:14:57 GMT

Conferences PDF

Country:
- Europe > Slovenia
  - Drava > Municipality of Benedikt > Benedikt (0.04)
- North America > Canada
  - British Columbia > Metro Vancouver Regional District > Vancouver (0.04)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning (1.00)
  - Representation & Reasoning (1.00)

Duplicate Docs Excel Report

Title
Learning dynamic polynomial proofs

Similar Docs Excel Report more

Title	Similarity	Source
None found