Search Results for author:
Found 15 papers, 9 papers with code
MLLM-FL: Multimodal Large Language Model Assisted Federated Learning on Heterogeneous and Long-tailed Data
Initially, prior to local training on local datasets of clients, we conduct global visual-text pretraining of the model.
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
In this paper, we propose FVEL, an interactive Formal Verification Environment with LLMs.
Process-Driven Autoformalization in Lean 4
Autoformalization, the conversion of natural language mathematics into formal languages, offers significant potential for advancing mathematical reasoning.
Proving Theorems Recursively
This approach allows the theorem to be tackled incrementally by outlining the overall theorem at the first level and then solving the intermediate conjectures at deeper levels.
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Recent large language models (LLMs) have witnessed significant advancement in various tasks, including mathematical reasoning and theorem proving.
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Automated theorem proving (ATP) has become an appealing domain for exploring the reasoning ability of the recent successful generative language models.
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Dual Queries first query LLM to obtain LLM-generated knowledge such as CoT, then query the retriever to obtain the final exemplars via both question and the knowledge.
LEGO-Prover: Neural Theorem Proving with Growing Libraries
Our ablation study indicates that these newly added skills are indeed helpful for proving theorems, resulting in an improvement from a success rate of 47. 1% to 50. 4%.
Ranked #1 on
Automated Theorem Proving
on miniF2F-test
(Pass@100 metric)
Lyra: Orchestrating Dual Correction in Automated Theorem Proving
In addition, we introduce Conjecture Correction, an error feedback mechanism designed to interact with prover to refine formal proof conjectures with prover error messages.
Ranked #1 on
Automated Theorem Proving
on miniF2F-test
(Pass@100 metric)
FIMO: A Challenge Formal Dataset for Automated Theorem Proving
We present FIMO, an innovative dataset comprising formal mathematical problem statements sourced from the International Mathematical Olympiad (IMO) Shortlisted Problems.
On the Road to 6G: Visions, Requirements, Key Technologies and Testbeds
A series of white papers and survey papers have been published, which aim to define 6G in terms of requirements, application scenarios, key technologies, etc.
A Novel 3D Non-Stationary GBSM for 6G THz Ultra-Massive MIMO Wireless Systems
Terahertz (THz) communication is now being considered as one of possible technologies for the sixth generation (6G) wireless communication systems.
A General 3D Space-Time-Frequency Non-Stationary THz Channel Model for 6G Ultra-Massive MIMO Wireless Communication Systems
The proposed THz channel model is very general having the capability to capture different channel characteristics in multiple THz application scenarios such as indoor scenarios, device-to-device (D2D) communications, ultra-massive multiple-input multiple-output (MIMO) communications, and long traveling paths of users.
Delay Analysis of Wireless Federated Learning Based on Saddle Point Approximation and Large Deviation Theory
Federated learning (FL) is a collaborative machine learning paradigm, which enables deep learning model training over a large volume of decentralized data residing in mobile devices without accessing clients' private data.
6G Oriented Wireless Communication Channel Characteristics Analysis and Modeling
Based on the vision on the 6G wireless communication network, i. e., global coverage, all spectrums and all applications, we comprehensively survey 6G related wireless channel measurements, channel characteristics, and channel models for all frequency bands and all scenarios.
