Learning dynamic polynomial proofs

Alhussein Fawzi, Mateusz Malinowski, Hamza Fawzi, Omar Fawzi

Oct-2-2025, 04:31:44 GMT–Neural Information Processing Systems

Polynomial inequalities lie at the heart of many mathematical disciplines.

logic & formal reasoning, machine learning, polynomial, (20 more...)

Neural Information Processing Systems

Oct-2-2025, 04:31:44 GMT

Conferences PDF

Country:
- Europe (0.28)

Technology:
- Information Technology > Artificial Intelligence
  - Representation & Reasoning > Logic & Formal Reasoning (0.71)
  - Machine Learning
    - Reinforcement Learning (0.47)
    - Neural Networks (0.47)

Duplicate Docs Excel Report

Title
Learning dynamic polynomial proofs

Similar Docs Excel Report more

Title	Similarity	Source
None found