Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Albert Q. Jiang
Follow
Activity
Upvotes
Folders
Articles
9
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
21 November 2024 by
Alicja Ziarko
and
others
Machine Learning
End-to-End Ontology Learning with Large Language Models
31 October 2024 by
Andy Lo
and
others
Machine Learning
,
Computation and Language
Pixtral 12B
10 October 2024 by
Pravesh Agrawal
and
others
Computer Vision and Pattern Recognition
,
Computation and Language
Pixtral 12B
9 October 2024 by
Pravesh Agrawal
and
others
Computer Vision and Pattern Recognition
,
Computation and Language
Llemma: An Open Language Model For Mathematics
15 March 2024 by
Zhangir Azerbayev
and
others
at
Princeton University
Computation and Language
,
Artificial Intelligence
Mixtral of Experts
1
8 January 2024 by
Albert Jiang
and
others
Machine Learning
,
Computation and Language
Multilingual Mathematical Autoformalization
9 November 2023 by
Albert Jiang
and
others
Computation and Language
,
Machine Learning
Evaluating Language Models for Mathematics through Interactions
5 November 2023 by
Katherine Collins
and
others
at
University of Cambridge
Machine Learning
,
Human-Computer Interaction
Mistral 7B
1
10 October 2023 by
Albert Jiang
and
others
Computation and Language
,
Artificial Intelligence
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
7 November 2022 by
Albert Jiang
and
others
Artificial Intelligence
,
Machine Learning
Autoformalization with Large Language Models
25 May 2022 by
Yuhuai Wu
and
others
Machine Learning
,
Artificial Intelligence
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
22 May 2022 by
Albert Jiang
and
others
Artificial Intelligence
This is an AI-generated summary
Key points
Topics
Machine Learning
Artificial Intelligence
Computation and Language
Logic in Computer Science
Human-Computer Interaction
Software Engineering
