EasyChair Smart SlideDocs/Log in
Author: Stephan Schulz

This page shows all presentations of this author published in EasyChair Smart Slide.

Automated Theorem Provers as the Hub of the AI Math Ecosystem

Automated Theorem Provers as the Hub of the AI Math Ecosystem

Stephan Schulz

Lazy and Eager Patterns in High-Performance Automated Theorem Proving

Lazy and Eager Patterns in High-Performance Automated Theorem Proving

Stephan Schulz

Faster, Higher, Stronger: E 2.3 (System Description)

Faster, Higher, Stronger: E 2.3 (System Description)

Stephan Schulz, Simon Cruanes and Petar Vukmirović

Cooperation and Competition in Automated Theorem Proving

Cooperation and Competition in Automated Theorem Proving

Stephan Schulz

Deep Reasoning - Hardware Accelerated Artificial Intelligence

Deep Reasoning - Hardware Accelerated Artificial Intelligence

Phillip Lippe and Stephan Schulz

Herbrand's Revenge - SAT Solving for First-Order Theorem Proving

Herbrand's Revenge - SAT Solving for First-Order Theorem Proving

Stephan Schulz

ProofWatch: Watchlist Guidance for Large Theories in E

ProofWatch: Watchlist Guidance for Large Theories in E

Zarathustra Goertzel, Jan Jakubuv, Stephan Schulz and Josef Urban

Presentations in this collection: 7
Copyright © 2002 – 2025 EasyChair