{"work":{"id":"b42747bd-615d-4195-9d85-772ff3605648","openalex_id":"https://openalex.org/W4281489448","doi":"10.48550/arxiv.2205.11491","arxiv_id":"2205.11491","raw_key":null,"title":"Hypertree proof search for neural theorem proving","authors":null,"authors_text":"Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, and Timothée Lacroix","year":2022,"venue":"arXiv (Cornell University)","abstract":null,"external_url":"https://arxiv.org/abs/2205.11491","cited_by_count":24,"metadata_source":"arxiv_reference","metadata_fetched_at":"2026-08-05T02:28:24.338817+00:00","pith_arxiv_id":null,"created_at":"2026-05-11T04:45:56.679910+00:00","updated_at":"2026-08-05T02:28:24.338817+00:00","title_quality_ok":true,"display_title":"Hypertree proof search for neural theorem proving","render_title":"Hypertree proof search for neural theorem proving"},"hub":{"state":{"tier_text":"hub","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":10,"external_cited_by_count":24},"tier":"hub","role_counts":[],"polarity_counts":[],"runs":{},"summary":{},"graph":{},"authors":[]}}