HyperTree Proof Search for Neural Theorem Proving

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 34 of 50
1. Verfasser: Lample, Guillaume (VerfasserIn)
Weitere Verfasser: Lacroix, Timothee (VerfasserIn), Lachaux, Marie-Anne (VerfasserIn), Rodriguez, Aurelien (VerfasserIn), Hayat, Amaury (VerfasserIn), Lavril, Thibaut (VerfasserIn), Ebner, Gabriel (VerfasserIn), Martinet, Xavier (VerfasserIn)
Pages:36
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2023
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Gradient Estimation with Discrete Stein Operators 2023 Shi, Jiaxin
Distributionally Adaptive Meta Reinforcement Learning 2023 Ajay, Anurag
Distinguishing Learning Rules with Brain Machine Interfaces 2023 Portes, Jacob
Evaluation beyond Task Performance: Analyzing Concepts in AlphaZero in Hex 2023 Lovering, Charles
Benchmarking and Analyzing 3D Human Pose and Shape Estimation Beyond Algorithms 2023 Pang, Hui En
Deep Hierarchical Planning from Pixels 2023 Hafner, Danijar
PeRFception: Perception using Radiance Fields 2023 Jeong, Yoonwoo
Multilingual Abusive Comment Detection at Scale for Indic Languages 2023 Gupta, Vikram
Learn what matters: cross-domain imitation learning with task-relevant embeddings 2023 Franzmeyer, Tim
DiSC: Differential Spectral Clustering of Features 2023 Sristi, Ram Dyuthi
Learning Physical Dynamics with Subequivariant Graph Neural Networks 2023 Han, Jiaqi
UViM: A Unified Modeling Approach for Vision with Learned Guiding Codes 2023 Kolesnikov, Alexander
Rotation-Equivariant Conditional Spherical Neural Fields for Learning a Natural Illumination Prior 2023 Gardner, James
IMED-RL: Regret optimal learning of ergodic Markov decision processes 2023 Pesquerel, Fabien
SAMURAI: Shape And Material from Unconstrained Real-world Arbitrary Image collections 2023 Boss, Mark
Neural Abstractions 2023 Abate, Alessandro
Temporally Disentangled Representation Learning 2023 Yao, Weiran
When are Offline Two-Player Zero-Sum Markov Games Solvable? 2023 Cui, Qiwen
A contrastive rule for meta-learning 2023 Zucchet, Nicolas
Online Agnostic Multiclass Boosting 2023 Raman, Vinod
Alle Artikel auflisten