Jonathan Thomm

27 posts

Jonathan Thomm

Jonathan Thomm

@jonathan_thomm

Research at https://t.co/nrcP6JniBq

San Francisco Beigetreten Nisan 2022
32 Folgt36 Follower
Jonathan Thomm retweetet
Harmonic
Harmonic@HarmonicMath·
Now we're up to 117 formal solutions to Erdos problems, up from single digits just four months ago. Over 3/4 are powered by Aristotle.
Harmonic tweet media
English
6
28
218
13.6K
Jonathan Thomm retweetet
Harmonic
Harmonic@HarmonicMath·
Today we're donating $300k to @leanprover as the inaugural sponsor! We believe the future of mathematical reasoning lies in formal verification. Our model, Aristotle, uses Lean to eliminate errors and verify results. We're thrilled to support the tools and people that make safe, accurate Mathematical Superintelligence possible.
English
4
24
165
20.7K
Jonathan Thomm retweetet
Harmonic
Harmonic@HarmonicMath·
We’re excited to announce $1,000,000 of sponsorships directly to students and researchers to encourage further exploration using AI and formal verification. More details 👇
English
7
31
213
92.9K
Jonathan Thomm retweetet
Harmonic
Harmonic@HarmonicMath·
Today we’re open sourcing pbcc, a streamlined Protobuf compiler for Python. Built for high-performance workloads, it handles massive datasets with reduced overhead and a much cleaner Python API.
English
2
14
186
19.7K
Jonathan Thomm retweetet
Harmonic
Harmonic@HarmonicMath·
Beyond math: Aristotle achieves SOTA 96.8% proof generation on VERINA: Benchmarking Verifiable Code Generation. You can read more about this performance on our engineering blog linked in bio
English
13
22
216
68.2K
Jonathan Thomm retweetet
Harmonic
Harmonic@HarmonicMath·
We’re excited to announce our $120M Series C as we accelerate the development and commercialization of Mathematical Superintelligence. We’re grateful to our investors, including @ribbitcapital and @EmCollective, for their continued partnership.
English
13
19
203
174.1K
Jonathan Thomm retweetet
Harmonic
Harmonic@HarmonicMath·
Our first-ever technical report is here! We’re providing an unprecedented look into the architecture and methodology behind our AI system; Aristotle, and shining light on the “how” behind our IMO gold-level performance. Read the full report below⬇️
English
10
26
198
166.5K
Jonathan Thomm retweetet
Harmonic
Harmonic@HarmonicMath·
What does it take to run Lean at scale? We're pulling back the curtain on our custom-built, semantically stateless REPL service, which lets our RL system scale to hundreds of thousands of CPUs independently of our GPU capacity. Dive into the details here: #blog-post-lean" target="_blank" rel="nofollow noopener">harmonic.fun/news#blog-post…
English
4
20
84
22.3K
Jonathan Thomm retweetet
Harmonic
Harmonic@HarmonicMath·
Introducing Yuclid and Newclid 3.0; the systems responsible for our success on Problem 2 and contributing to our Gold Medal-level performance at the IMO. We’re excited to see how researchers and mathematicians will leverage these in their own work as we continue our quest for MSI /1
Harmonic tweet media
English
5
23
114
47.2K
Jonathan Thomm retweetet
Vlad Tenev
Vlad Tenev@vladtenev·
This year, @HarmonicMath tested our advanced reasoning model Aristotle on the International Mathematics Olympiad (IMO), achieving Gold Medal-level performance and producing formally-verified proofs in Lean. We livestreamed our results from the HP Garage, check it out!
Harmonic@HarmonicMath

twitter.com/i/broadcasts/1…

English
20
24
307
151.8K
Jonathan Thomm retweetet
Harmonic
Harmonic@HarmonicMath·
This past week, Harmonic had the opportunity to represent our advanced mathematical reasoning model, Aristotle, at the International Mathematics Olympiad - the most prestigious mathematics competition in the world. To uphold the sanctity of the student competition, the IMO Board has asked us, along with the other leading AI companies that participated, to hold on releasing our results until Jul 28th. So please join us live on @X next Monday, July 28th at 3PM PT and hear from our CEO @tachim and Executive Chairman @vladtenev about the advent of mathematical superintelligence (and maybe a few surprises along the way).
Harmonic tweet media
English
12
56
549
196.9K
Jonathan Thomm retweetet
Dimitri von Rütte
Dimitri von Rütte@dvruette·
🚨📜 Announcing our latest work on LLM interpretability: We are able to control a model's humor, creativity, quality, truthfulness, and compliance by applying concept vectors to its hidden neural activations. 🧵 arxiv.org/abs/2402.14433
Dimitri von Rütte tweet media
English
4
40
133
15.4K
Jonathan Thomm retweetet
Dimitri von Rütte
Dimitri von Rütte@dvruette·
🚨 Calling on all FABRIC users! We need your help to learn about how you’ve been using FABRIC. Help us by taking 5 minutes to fill out the survey. Haven’t tried FABRIC yet? Just try it using our Gradio demo! ✨👨‍🎨 📊 Survey: forms.gle/aMWLDW8xvyhkLb… 👾 Demo: huggingface.co/spaces/dvruett…
Dimitri von Rütte@dvruette

🚨📜 Announcing FABRIC, a training-free method for using iterative feedback to improve the results of any Stable Diffusion model. Instead of spending hours to find the right prompt, just click 👍/👎 to tell the model what exactly you want. 🤗 Demo: huggingface.co/spaces/dvruett…

English
0
9
30
14.8K
Jonathan Thomm retweetet
Lukas Wolf
Lukas Wolf@lukaswolf_·
Thanks, @_akhaliq! Don't forget to try out our demo: huggingface.co/spaces/dvruett…
AK@_akhaliq

FABRIC: Personalizing Diffusion Models with Iterative Feedback paper page: huggingface.co/papers/2307.10… In an era where visual content generation is increasingly driven by machine learning, the integration of human feedback into generative models presents significant opportunities for enhancing user experience and output quality. This study explores strategies for incorporating iterative human feedback into the generative process of diffusion-based text-to-image models. We propose FABRIC, a training-free approach applicable to a wide range of popular diffusion models, which exploits the self-attention layer present in the most widely used architectures to condition the diffusion process on a set of feedback images. To ensure a rigorous assessment of our approach, we introduce a comprehensive evaluation methodology, offering a robust mechanism to quantify the performance of generative visual models that integrate human feedback. We show that generation results improve over multiple rounds of iterative feedback through exhaustive analysis, implicitly optimizing arbitrary user preferences. The potential applications of these findings extend to fields such as personalized content creation and customization.

English
0
5
35
16.1K
Armin Berger
Armin Berger@mountainarmin·
Check out FABRIC, a project by my Cofounders @lukaswolf_ and @jonathan_thomm . FABRIC is basically Tinder for your stable diffusion prompt – you like/dislike the results until you find the perfect match! Try out the demo: huggingface.co/spaces/dvruett…
AK@_akhaliq

FABRIC: Personalizing Diffusion Models with Iterative Feedback paper page: huggingface.co/papers/2307.10… In an era where visual content generation is increasingly driven by machine learning, the integration of human feedback into generative models presents significant opportunities for enhancing user experience and output quality. This study explores strategies for incorporating iterative human feedback into the generative process of diffusion-based text-to-image models. We propose FABRIC, a training-free approach applicable to a wide range of popular diffusion models, which exploits the self-attention layer present in the most widely used architectures to condition the diffusion process on a set of feedback images. To ensure a rigorous assessment of our approach, we introduce a comprehensive evaluation methodology, offering a robust mechanism to quantify the performance of generative visual models that integrate human feedback. We show that generation results improve over multiple rounds of iterative feedback through exhaustive analysis, implicitly optimizing arbitrary user preferences. The potential applications of these findings extend to fields such as personalized content creation and customization.

English
1
2
7
395
Jonathan Thomm retweetet
Dimitri von Rütte
Dimitri von Rütte@dvruette·
This was a really fun project to work on and a great team effort. Thanks to @EliFedele, @jonathan_thomm and @lukaswolf_ for the awesome group project and thanks to @_akhaliq for the shoutout! Also make sure to check out our demo: huggingface.co/spaces/dvruett…
AK@_akhaliq

FABRIC: Personalizing Diffusion Models with Iterative Feedback paper page: huggingface.co/papers/2307.10… In an era where visual content generation is increasingly driven by machine learning, the integration of human feedback into generative models presents significant opportunities for enhancing user experience and output quality. This study explores strategies for incorporating iterative human feedback into the generative process of diffusion-based text-to-image models. We propose FABRIC, a training-free approach applicable to a wide range of popular diffusion models, which exploits the self-attention layer present in the most widely used architectures to condition the diffusion process on a set of feedback images. To ensure a rigorous assessment of our approach, we introduce a comprehensive evaluation methodology, offering a robust mechanism to quantify the performance of generative visual models that integrate human feedback. We show that generation results improve over multiple rounds of iterative feedback through exhaustive analysis, implicitly optimizing arbitrary user preferences. The potential applications of these findings extend to fields such as personalized content creation and customization.

English
1
2
5
294