Wenda Li

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024
Multi-Scale Acoustic Velocity Inversion Based on a Convolutional Neural Network.
Remote. Sens., March, 2024

Formal Mathematical Reasoning: A New Frontier in AI.
CoRR, 2024

Shallow Diffuse: Robust and Invisible Watermarking through Low-Dimensional Subspaces in Diffusion Models.
CoRR, 2024

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.
CoRR, 2024

Proving Theorems Recursively.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

End-to-End Ontology Learning with Large Language Models.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Multi-language Diversity Benefits Autoformalization.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023
A High-Resolution Velocity Inversion Method Based on Attention Convolutional Neural Network.
IEEE Trans. Geosci. Remote. Sens., 2023

Multilingual Mathematical Autoformalization.
CoRR, 2023

Evaluating Language Models for Mathematics through Interactions.
CoRR, 2023

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022
A Deep Learning Method for Denoising Based on a Fast and Flexible Convolutional Neural Network.
IEEE Trans. Geosci. Remote. Sens., 2022

Structure-Preserving Random Noise Attenuation Method for Seismic Data Based on a Flexible Attention CNN.
Remote. Sens., 2022

Autoformalization with Large Language Models.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021
A fuzzy multi-objective programming optimization model for emergency resource dispatching under equitable distribution principle.
J. Intell. Fuzzy Syst., 2021

The Theorem of Three Circles.
Arch. Formal Proofs, 2021

Residual Learning of Cycle-GAN for Seismic Data Denoising.
IEEE Access, 2021

LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning.
Proceedings of the 38th International Conference on Machine Learning, 2021

A New Insight in Medical Resources Scheduling of Physical Examination with Adaptive Collaboration.
Proceedings of the 24th IEEE International Conference on Computer Supported Cooperative Work in Design, 2021

2020
Irrationality Criteria for Series by Erdős and Straus.
Arch. Formal Proofs, 2020

2019
The Transcendence of Certain Infinite Series.
Arch. Formal Proofs, 2019

2018
The Budan-Fourier Theorem and Counting Real Roots with Multiplicity.
Arch. Formal Proofs, 2018

Irrational Rapidly Convergent Series.
Arch. Formal Proofs, 2018

Low-cost vector map assisted navigation strategy for autonomous vehicle.
Proceedings of the 2018 IEEE Asia Pacific Conference on Circuits and Systems, 2018

2017
Evaluate winding numbers through Cauchy indices.
Arch. Formal Proofs, 2017

Count the Number of Complex Roots.
Arch. Formal Proofs, 2017

Implementation methods and applications of flow visualization in a watershed simulation platform.
Adv. Eng. Softw., 2017

2016
Aggregation based Cell Selection Methods for multi-RAT HetNet.
Proceedings of the 8th International Conference on Wireless Communications & Signal Processing, 2016

2014
The Sturm-Tarski Theorem.
Arch. Formal Proofs, 2014

2013
The Königsberg Bridge Problem and the Friendship Theorem.
Arch. Formal Proofs, 2013


  Loading...