Tags Archive

---

• Boolean satisfiability (1)
• Combinatorial Optimization (1)
• Combinatorial optimization (4)
• Erdős goes neural (1)
• Learning with approximation guarantees (1)
• Learning with constraints (2)
• Learning with discrete functions (1)
• Neural Networks (5)
• Spirit of the Universe (1)
• The Matrix (1)

Boolean satisfiability

• On the fundamentals of gradient-based SAT solvers (October 15, 2026)

Combinatorial Optimization

• Erdos Goes Neural (January 05, 2022)

Combinatorial optimization

• On the fundamentals of gradient-based SAT solvers (October 15, 2026)
• Geometric Algorithms for Neural Combinatorial Optimization (October 30, 2025)
• Are Neural Networks Optimal Approximation Algorithms? (December 18, 2024)
• Learning with Neural Extensions (December 18, 2022)

Erdős goes neural

• Erdos Goes Neural (January 05, 2022)

Learning with approximation guarantees

• Are Neural Networks Optimal Approximation Algorithms? (December 18, 2024)

Learning with constraints

• On the fundamentals of gradient-based SAT solvers (October 15, 2026)
• Geometric Algorithms for Neural Combinatorial Optimization (October 30, 2025)

Learning with discrete functions

• Learning with Neural Extensions (December 18, 2022)

Neural Networks

• On the fundamentals of gradient-based SAT solvers (October 15, 2026)
• Geometric Algorithms for Neural Combinatorial Optimization (October 30, 2025)
• Are Neural Networks Optimal Approximation Algorithms? (December 18, 2024)
• Learning with Neural Extensions (December 18, 2022)
• Erdos Goes Neural (January 05, 2022)

Spirit of the Universe

• World Spirit and the Matrix Revolutions (December 30, 2021)

The Matrix

• World Spirit and the Matrix Revolutions (December 30, 2021)