Picture for Jianqiao Lu

Jianqiao Lu

FormalAlign: Automated Alignment Evaluation for Autoformalization

Add code
Oct 14, 2024
Viaarxiv icon

Scaling Laws for Mixed quantization in Large Language Models

Add code
Oct 09, 2024
Figure 1 for Scaling Laws for Mixed quantization in Large Language Models
Figure 2 for Scaling Laws for Mixed quantization in Large Language Models
Figure 3 for Scaling Laws for Mixed quantization in Large Language Models
Figure 4 for Scaling Laws for Mixed quantization in Large Language Models
Viaarxiv icon

UNComp: Uncertainty-Aware Long-Context Compressor for Efficient Large Language Model Inference

Add code
Oct 04, 2024
Figure 1 for UNComp: Uncertainty-Aware Long-Context Compressor for Efficient Large Language Model Inference
Figure 2 for UNComp: Uncertainty-Aware Long-Context Compressor for Efficient Large Language Model Inference
Figure 3 for UNComp: Uncertainty-Aware Long-Context Compressor for Efficient Large Language Model Inference
Figure 4 for UNComp: Uncertainty-Aware Long-Context Compressor for Efficient Large Language Model Inference
Viaarxiv icon

UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation

Add code
Oct 03, 2024
Figure 1 for UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation
Figure 2 for UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation
Figure 3 for UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation
Figure 4 for UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation
Viaarxiv icon

MR-BEN: A Comprehensive Meta-Reasoning Benchmark for Large Language Models

Add code
Jun 20, 2024
Figure 1 for MR-BEN: A Comprehensive Meta-Reasoning Benchmark for Large Language Models
Figure 2 for MR-BEN: A Comprehensive Meta-Reasoning Benchmark for Large Language Models
Figure 3 for MR-BEN: A Comprehensive Meta-Reasoning Benchmark for Large Language Models
Figure 4 for MR-BEN: A Comprehensive Meta-Reasoning Benchmark for Large Language Models
Viaarxiv icon

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

Add code
Jun 20, 2024
Figure 1 for FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Figure 2 for FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Figure 3 for FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Figure 4 for FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Viaarxiv icon

Process-Driven Autoformalization in Lean 4

Add code
Jun 04, 2024
Figure 1 for Process-Driven Autoformalization in Lean 4
Figure 2 for Process-Driven Autoformalization in Lean 4
Figure 3 for Process-Driven Autoformalization in Lean 4
Figure 4 for Process-Driven Autoformalization in Lean 4
Viaarxiv icon

AutoCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation

Add code
May 29, 2024
Viaarxiv icon

Proving Theorems Recursively

Add code
May 23, 2024
Figure 1 for Proving Theorems Recursively
Figure 2 for Proving Theorems Recursively
Figure 3 for Proving Theorems Recursively
Figure 4 for Proving Theorems Recursively
Viaarxiv icon

MHPP: Exploring the Capabilities and Limitations of Language Models Beyond Basic Code Generation

Add code
May 19, 2024
Viaarxiv icon