Albert Q. Jiang

According to our database1, Albert Q. Jiang authored at least 10 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Mixtral of Experts.
CoRR, 2024

2023
Multilingual Mathematical Autoformalization.
CoRR, 2023

Llemma: An Open Language Model For Mathematics.
CoRR, 2023

Mistral 7B.
CoRR, 2023

Evaluating Language Models for Mathematics through Interactions.
CoRR, 2023

Magnushammer: A Transformer-based Approach to Premise Selection.
CoRR, 2023

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

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
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving.
Proceedings of the 9th International Conference on Learning Representations, 2021


  Loading...