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

2025

APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries.

[BibT_eX]

[DOI]

CoRR, April, 2025

Eeyore: Realistic Depression Simulation via Supervised and Preference Optimization.

[BibT_eX]

[DOI]

CoRR, March, 2025

Responsible smart home technology adoption: exploring public perceptions and key adoption factors.

[BibT_eX]

[DOI]

Internet Things, 2025

Theorem Prover as a Judge for Synthetic Data Generation.

[BibT_eX]

[DOI]

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

Eeyore: Realistic Depression Simulation via Expert-in-the-Loop Supervised and Preference Optimization.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics, 2025

2024

Multi-Scale Acoustic Velocity Inversion Based on a Convolutional Neural Network.

[BibT_eX]

[DOI]

Wenda Li

Tianqi Wu

Hong Liu

Remote. Sens., March, 2024

Formal Mathematical Reasoning: A New Frontier in AI.

[BibT_eX]

[DOI]

CoRR, 2024

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

[BibT_eX]

[DOI]

CoRR, 2024

Proving Theorems Recursively.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Multi-language Diversity Benefits Autoformalization.

[BibT_eX]

[DOI]

Albert Q. Jiang

Wenda Li

Mateja Jamnik

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.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

A High-Resolution Velocity Inversion Method Based on Attention Convolutional Neural Network.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2023

Multilingual Mathematical Autoformalization.

[BibT_eX]

[DOI]

Albert Q. Jiang

Wenda Li

Mateja Jamnik

CoRR, 2023

Evaluating Language Models for Mathematics through Interactions.

[BibT_eX]

[DOI]

CoRR, 2023

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Wenda Li

Hong Liu

Jian Wang

IEEE Trans. Geosci. Remote. Sens., 2022

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

[BibT_eX]

[DOI]

Wenda Li

Tianqi Wu

Hong Liu

Remote. Sens., 2022

Autoformalization with Large Language Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Intell. Fuzzy Syst., 2021

The Theorem of Three Circles.

[BibT_eX]

[DOI]

Fox Thomson

Wenda Li

Arch. Formal Proofs, 2021

Residual Learning of Cycle-GAN for Seismic Data Denoising.

[BibT_eX]

[DOI]

Wenda Li

Jian Wang

IEEE Access, 2021

LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

A New Insight in Medical Resources Scheduling of Physical Examination with Adaptive Collaboration.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Angeliki Koutsoukou-Argyraki

Wenda Li

Arch. Formal Proofs, 2020

2019

The Transcendence of Certain Infinite Series.

[BibT_eX]

[DOI]

Angeliki Koutsoukou-Argyraki

Wenda Li

Arch. Formal Proofs, 2019

2018

The Budan-Fourier Theorem and Counting Real Roots with Multiplicity.

[BibT_eX]

[DOI]

Wenda Li

Arch. Formal Proofs, 2018

Irrational Rapidly Convergent Series.

[BibT_eX]

[DOI]

Angeliki Koutsoukou-Argyraki

Wenda Li

Arch. Formal Proofs, 2018

Low-cost vector map assisted navigation strategy for autonomous vehicle.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Asia Pacific Conference on Circuits and Systems, 2018

2017

Evaluate winding numbers through Cauchy indices.

[BibT_eX]

[DOI]

Wenda Li

Arch. Formal Proofs, 2017

Count the Number of Complex Roots.

[BibT_eX]

[DOI]

Wenda Li

Arch. Formal Proofs, 2017

Implementation methods and applications of flow visualization in a watershed simulation platform.

[BibT_eX]

[DOI]

Adv. Eng. Softw., 2017

2016

Aggregation based Cell Selection Methods for multi-RAT HetNet.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Wireless Communications & Signal Processing, 2016

2014

The Sturm-Tarski Theorem.

[BibT_eX]

[DOI]

Wenda Li

Arch. Formal Proofs, 2014

2013

The Königsberg Bridge Problem and the Friendship Theorem.

[BibT_eX]

[DOI]

Wenda Li

Arch. Formal Proofs, 2013

Wenda Li

Known people with the same name:

Bibliography

Loading...