The following pages link to Josef Urban (Q286786):
Displayed 50 items.
- MaLeS: a framework for automatic tuning of automated theorem provers (Q286787) (← links)
- MizAR 40 for Mizar 40 (Q286800) (← links)
- A learning-based fact selector for Isabelle/HOL (Q331617) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- MPTP-motivation, implementation, first experiments (Q556682) (← links)
- Fast and slow enigmas and parental guidance (Q831937) (← links)
- ATP-based cross-verification of Mizar proofs: method, systems, and first experiments (Q841684) (← links)
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics (Q865631) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- ProofWatch: watchlist guidance for large theories in E (Q1791167) (← links)
- System description: XSL-based translator of Mizar to {\LaTeX} (Q1798936) (← links)
- Enhancing ENIGMA given clause guidance (Q1798957) (← links)
- First experiments with neural translation of informal to formal mathematics (Q1798975) (← links)
- ATPboost: learning premise selection in binary setting with ATP feedback (Q1799117) (← links)
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Guiding an automated theorem prover with neural rewriting (Q2104548) (← links)
- Online machine learning techniques for Coq: a comparison (Q2128797) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← links)
- Towards finding longer proofs (Q2142073) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- Learning theorem proving components (Q2142080) (← links)
- ENIGMAWatch: ProofWatch meets ENIGMA (Q2180529) (← links)
- The Tactician. A seamless, interactive tactic learner and prover for Coq (Q2219409) (← links)
- Guiding inferences in connection tableau by recurrent neural networks (Q2219415) (← links)
- First neural conjecturing datasets and experiments (Q2219416) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Premise selection for mathematics by corpus analysis and kernel methods (Q2352489) (← links)
- Erratum to: ``Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)'' (Q2352503) (← links)
- ENIGMA: efficient learning-based inference guiding machine (Q2364687) (← links)
- Detecting inconsistencies in large first-order knowledge bases (Q2405258) (← links)
- Monte Carlo tableau proof search (Q2405274) (← links)
- Extracting Higher-Order Goals from the Mizar Mathematical Library (Q2817297) (← links)
- Extending E Prover with Similarity Based Clause Selection Strategies (Q2817300) (← links)
- Automated Reasoning Service for HOL Light (Q2843009) (← links)
- Formal Mathematics on Display: A Wiki for Flyspeck (Q2843012) (← links)
- Presenting and Explaining Mizar (Q2867936) (← links)
- Lemma Mining over HOL Light (Q2870150) (← links)
- Automated and Human Proofs in General Mathematics: An Initial Comparison (Q2891438) (← links)
- Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar (Q2907308) (← links)
- Point-and-Write – Documenting Formal Mathematics by Reference (Q2907322) (← links)
- Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics (Q2908509) (← links)
- Learning to Parse on Aligned Corpora (Rough Diamond) (Q2945635) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)