Albert Q. Jiang

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

Collaborative distances:

Timeline

2021
2022
2023
2024
0
1
2
3
4
5
6
7
8
2
4
5
1
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Pixtral 12B.
CoRR, 2024

Mixtral of Experts.
CoRR, 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

Magnushammer: A Transformer-Based Approach to Premise Selection.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

Llemma: An Open Language Model for Mathematics.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023
Multilingual Mathematical Autoformalization.
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...