Picture for Zijian Wu

Zijian Wu

A-MFST: Adaptive Multi-Flow Sparse Tracker for Real-Time Tissue Tracking Under Occlusion

Add code
Oct 25, 2024
Viaarxiv icon

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems

Add code
Oct 21, 2024
Viaarxiv icon

LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover

Add code
Jul 24, 2024
Viaarxiv icon

Evolving Subnetwork Training for Large Language Models

Add code
Jun 11, 2024
Viaarxiv icon

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

Add code
Jun 07, 2024
Viaarxiv icon

Real-time Surgical Instrument Segmentation in Video Using Point Tracking and Segment Anything

Add code
Mar 12, 2024
Viaarxiv icon

InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Add code
Feb 09, 2024
Figure 1 for InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning
Figure 2 for InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning
Figure 3 for InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning
Figure 4 for InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning
Viaarxiv icon

Structured, Complex and Time-complete Temporal Event Forecasting

Add code
Dec 02, 2023
Viaarxiv icon

Context-aware Event Forecasting via Graph Disentanglement

Add code
Aug 12, 2023
Viaarxiv icon

Automatic Search for Photoacoustic Marker Using Automated Transrectal Ultrasound

Add code
Jul 20, 2023
Viaarxiv icon