Picture for Qingxing Cao

Qingxing Cao

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

Add code
Jun 20, 2024
Viaarxiv icon

ATG: Benchmarking Automated Theorem Generation for Generative Language Models

Add code
May 05, 2024
Viaarxiv icon

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

Add code
Feb 14, 2024
Viaarxiv icon

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

Add code
Oct 24, 2023
Figure 1 for TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Figure 2 for TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Figure 3 for TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Figure 4 for TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Viaarxiv icon

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning

Add code
Oct 19, 2023
Figure 1 for DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Figure 2 for DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Figure 3 for DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Figure 4 for DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Viaarxiv icon

LEGO-Prover: Neural Theorem Proving with Growing Libraries

Add code
Oct 12, 2023
Figure 1 for LEGO-Prover: Neural Theorem Proving with Growing Libraries
Figure 2 for LEGO-Prover: Neural Theorem Proving with Growing Libraries
Figure 3 for LEGO-Prover: Neural Theorem Proving with Growing Libraries
Figure 4 for LEGO-Prover: Neural Theorem Proving with Growing Libraries
Viaarxiv icon

REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement

Jan 03, 2021
Figure 1 for REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement
Figure 2 for REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement
Figure 3 for REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement
Figure 4 for REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement
Viaarxiv icon

Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding

Dec 14, 2020
Figure 1 for Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding
Figure 2 for Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding
Figure 3 for Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding
Figure 4 for Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding
Viaarxiv icon

Linguistically Driven Graph Capsule Network for Visual Question Reasoning

Mar 23, 2020
Figure 1 for Linguistically Driven Graph Capsule Network for Visual Question Reasoning
Figure 2 for Linguistically Driven Graph Capsule Network for Visual Question Reasoning
Figure 3 for Linguistically Driven Graph Capsule Network for Visual Question Reasoning
Figure 4 for Linguistically Driven Graph Capsule Network for Visual Question Reasoning
Viaarxiv icon

Explainable High-order Visual Question Reasoning: A New Benchmark and Knowledge-routed Network

Sep 23, 2019
Figure 1 for Explainable High-order Visual Question Reasoning: A New Benchmark and Knowledge-routed Network
Figure 2 for Explainable High-order Visual Question Reasoning: A New Benchmark and Knowledge-routed Network
Figure 3 for Explainable High-order Visual Question Reasoning: A New Benchmark and Knowledge-routed Network
Figure 4 for Explainable High-order Visual Question Reasoning: A New Benchmark and Knowledge-routed Network
Viaarxiv icon