@MarcusBarnes

PhD Researcher | LLM4SE & multi-agent AI systems | LLMs for mathematics & autoformalization | Open to research collaborations, industry roles & consulting

 Toronto, ON
ca.linkedin.com/in/mebarnes
Joined May 2009
  • Tweets10.8K
  • Following6.6K
  • Followers1.4K
89Media
I recently presented LogSieve at MSR’26: reducing CI logs for LLM-based analysis. 42% smaller logs, 40% fewer tokens, while preserving root cause analysis. Pre-print: arxiv.org/abs/2601.20148 #LLM #MLOps
1
2
236
Marcus Barnes retweeted
Andrej Dujella@dujella1Oct 15
rank 32 elliptic-rank.icarm.cloud/cu…

curve #4239 — Elliptic Curve Rank Leaderboard

Can we find small elliptic curves of high rank? A leaderboard of certified Mordell–Weil rank lower bounds, ordered by conductor, discriminant, Faltings height, and naive height.

elliptic-rank.icarm.cloud
5
11
2
58
9,268
Marcus Barnes retweeted
Christian Dallago@sacdallagoOct 14
The 2027/2028 NVIDIA Graduate Fellowship is open! PhD students can receive up to $60,000, plus a summer internship with NVIDIA. I want to especially encourage life science students to apply! Applications and recommendation letters are due October 30. research.nvidia.com/graduate…
3
22
2
239
54,986
Marcus Barnes retweeted
Pushmeet Kohli
@pushmeetOct 13
Most important, we want to get this model into as many scientists’ hands as we can. Today, we’re announcing that 10,000 scientists will get the highest usage tier access to Gemini 4 Argon in Google @antigravity free of charge for 6 months. Apply here: forms.gle/WvmBbPvRbpKG1BPn9

Interest form: Accelerate scientific workflows in Google Antigravity

We believe that scientists across every discipline should be equipped with the best AI tools for the next era of discovery. As a step toward this goal, we are providing up to 10,000 selected scient...

docs.google.com
8
43
6
286
29,626
It was my absolute pleasure to interview Bartosz Naskrecki @nasqret and I'm now very excited to share the interview with you. He's possibly the most knowledgeable person I know about the current capabilities of AI in math and I just learned *a lot* in this conversation (and during an amazing talk he gave at the conference we were both at). Thanks Bartosz! Plus, look at that location!! 🤩 youtu.be/jKcRLlCn2Mg?is=AZYb…

Bartosz Naskrecki -- Human Mathematicians in the Age of AI

In this video I interview Bartosz Naskrecki (Assistant Professor of...

youtube.com
1
14
1
89
6,063
Marcus Barnes retweeted
Cohere Labs
@Cohere_LabsOct 8
Our Open Science Community is excited to share our events for next week, October 12 - 16! Check out the upcoming sessions: 📆 Marigold V2: Revisiting Diffusion Transformers for Monocular Depth Estimation with @ThiemoWandel: luma.com/uso4kfy5 📆 Semigroup-JEPA: Latent Dynamics Consistency for Zero-Shot Physics Generalization with @ZeyiAndyLiu: luma.com/0m1qhpy1 Thanks to our Open Science community leads @AhmadMustafaAn1, @KanwalMehreen2, @cataluna84, and @Arkhymadhe for organizing these events!
1
4
3
15
3,020
Marcus Barnes retweeted
Bartosz Naskręcki
@nasqretOct 6
I'm delighted to announce that I have received two years of funding from Renaissance Philanthropy to build an open-source agentic computer algebra system that will work with LLMs to support mathematicians in their research. Many thanks to the selection committee and the funders!
Renaissance Philanthropy
@RenPhilanthropyOct 6
We're delighted to announce the winners of this year’s grants from the AI for Math Fund, powered by founding donor @xtxmarkets: 22 winners, 30+ organizations, selected from 400+ applications across 50 countries. Backed by a record $17.1M from XTX Markets, bringing their total commitment to $35.1M. renaissancephilanthropy.org/… 1/2

Renaissance Philanthropy and XTX Markets Announce Further $17.1 Million to Accelerate Mathematical...

AI for Math Fund has now committed a total of $35.1 million.

renaissancephilanthropy.org
51
41
4
488
14,419
Marcus Barnes retweeted
Cohere Labs
@Cohere_LabsOct 2
Our ML Math group, led by @KatrinaL2899 and @neel_ghoshal will host @Robertljg for a session focus on Building Trustworthy AI for Mathematics and Science on Monday, October 5th! 🔥 Learn more and register: luma.com/jfw5wkkc
3
2
23
3,488
Marcus Barnes retweeted
Google Research
@GoogleResearchOct 2
🚀 Gemma 4 Developer Agent Competition is live! Post-train an open model into a coding agent that speeds up dev workflows on everyday hardware. Don't miss the opportunity to compete for a $100K prize pool by November 25, 2026. Competition: kaggle.com/competitions/gemm… Paper track: kaggle.com/competitions/gemm…

Google - The Gemma 4 Developer Agent Competition

Accelerate research in autonomous coding agents

kaggle.com
26
56
5
546
29,333
Marcus Barnes retweeted
Thomas Bloom@thomasfbloomSep 24
A few weeks ago Astra gave a stunningly simple proof of the Erdős-Sós conjecture in graph theory (previously thought to be very difficult). It has been a good example of how the lifecycle of AI proofs should be: after the AI formalisation posted at erdosproblems.com/548 1/
6
66
11
388
56,192
A Leaked GitLab Issue Email Address Lets Anyone Push Code and Run CI Jobs as You thehackernews.com/2026/09/a-… via @TheHackersNews

A Leaked GitLab Issue Email Address Lets Anyone Push Code and Run CI Jobs as You

GitLab’s non-expiring incoming email token can let a holder commit code with a user’s permissions and trigger CI/CD jobs.

thehackernews.com
1
57
Marcus Barnes retweeted
SAIR
@SAIRfoundationSep 18
Today we introduce Open Math Model: open models and tools for mathematics. Built for everyday research, shaped by the mathematical community, and developed in the open. Read our co-founder Terence Tao’s blog: terrytao.wordpress.com/2026/…

SAIR’s Open Math Model initiative

Last year I co-founded the Foundation for Science and AI Research (SAIR) with some private donors to create a non-profit organization that could support responsible uses of AI in mathematics and th…

terrytao.wordpress.com
13
113
6
585
31,427
Marcus Barnes retweeted
SAIR
@SAIRfoundationSep 12
The Andrews–Curtis Conjecture Challenge Proof Track is live! Submit proofs or disproofs of AC or Stable AC. Written proofs, Lean formalizations, and partial results are welcome. Share and discuss on the SAIR Contributor Network. Join the Proof Track: competition.sair.foundation/…

Proof Track | The Andrews–Curtis Conjecture (ACC) Challenge | SAIR Foundation

Read proof track for The Andrews–Curtis Conjecture (ACC) Challenge. A competition to find short trivializations of group presentations and to prove or disprove...

competition.sair.foundation
2
10
852
Marcus Barnes retweeted
SAIR
@SAIRfoundationSep 11
The Andrews–Curtis Conjecture (ACC) Challenge Discovery Track is live! Turn computational search into verifiable progress on a longstanding conjecture in group theory. Find short move sequences for 10,115 presentations. Join: competition.sair.foundation/…

Discovery Track | The Andrews–Curtis Conjecture (ACC) Challenge | SAIR Foundation

Read discovery track for The Andrews–Curtis Conjecture (ACC) Challenge. A competition to find short trivializations of group presentations and to prove or disp...

competition.sair.foundation
2
6
18
1,096
Marcus Barnes retweeted
Humphrey Shi
@humphrey_shiSep 9
The @CVPR 2027 Call for Papers is live! Key deadlines (2026, AoE): - Paper registration: Nov 10 - Paper submission: Nov 16 We look forward to seeing your best work! cvpr.thecvf.com/Conferences/… As agentic AI for research advances, we're working with OpenReview and others to develop guidance for thoughtful use of LLMs/AI to support authors and improve peer review. We'll share detailed policies on permitted uses and responsibilities as they are finalized. Stay tuned!
🤖 Made with AI
4
17
2
165
11,329
Marcus Barnes retweeted
Lambda World
@Lambda_WorldSep 9
AI can write code faster than ever. But can it prove the code does what it is supposed to do? At @Lambda_World, David Mazarro & Raúl Raja @raulraja from @AIPredictable ask exactly that in “Towards Multi-language Program Verification for AI”. Generating software is becoming easy. TRUSTING it is hard. 29–30 Oct, 2026 Torremolinos, Malaga. Spain #Lean4 #FormalMethods #AI #LambdaWorld
Headshots from David and Raul and title of their talk

ALT Headshots from David and Raul and title of their talk

3
6
178
Marcus Barnes retweeted
SAIR
@SAIRfoundationSep 8
We’re launching the Andrews–Curtis Conjecture (ACC) Challenge with @Caltech Two open problems: AC and Stable AC Can simple moves reduce complex presentations of the trivial group to standard form? Two tracks, each covering both problems: Discovery (launches Sep 11): Find short, verified move sequences Proof (launches Sep 20): Prove or disprove either conjecture Registration is open: competition.sair.foundation/…

The Andrews–Curtis Conjecture (ACC) Challenge | SAIR Foundation

A competition to find short trivializations of group presentations and to prove or disprove the Andrews–Curtis conjecture and its stable version.

competition.sair.foundation
1
5
1
14
1,397
Marcus Barnes retweeted
Graham Neubig
@gneubigSep 8
We started to post videos for CMU 11-768, AI Agents! All of the videos will be posted to this playlist, so please bookmark/follow it if you want to be notified of new ones! I'll also try to post them on this thread too. youtube.com/playlist?list=PL…

CMU 11-768, AI Agents: Fall 2026

CMU 11-768 is a course teaching about AI Agents, from the fundamentals of building a harness, to evaluation, training using reinforcement learning, and other...

youtube.com
Graham Neubig
@gneubigJul 2
This Fall at CMU we're teaching a new course on AI Agents! The goal is that you learn how to create a scaffold, build evals, and train an agentic LLM using RL. We'll try to balance theory and practice, and introduce modern frameworks and best practices.
30
161
9
1,086
148,121
Marcus Barnes retweeted
Acer@AcerFurSep 4
Replying to @AcerFur @AndrewCurran_ @apples_jimmy
A suggestion for anyone, on ultra mode use the prompt: “Use a running audit as long-term memory. Have agents verify the correctness of the entirety of this TeX paper as pedantic and sceptical as possible. Split the work amongst them, and check the accuracy of cited results …
2
15
2
150
6,509
Marcus Barnes retweeted
Thomas Lin@7homaslinSep 2
Terence Tao wrote a clear, nontechnical explanation of the Kakeya Conjecture (for which Hong Wang won the Fields Medal in July), why it matters, how it was solved, and future directions, and posted it on the arXiv: arxiv.org/abs/2608.22209

Rotating needles in space: the road to the Kakeya conjecture, and...

A non-technical exposition of the Kakeya conjecture, why it matters, and the road to the solution of this conjecture in three dimensions by Hong Wang and Joshua Zahl.

arxiv.org
9
80
4
591
66,298
Marcus Barnes retweeted
Trefor Bazett@TreforBazett2 Sep 2025
►CALCULUS II: youtube.com/playlist?list=PL… ►MULTIVARIABLE CALCULUS (Calc III): youtube.com/playlist?list=PL… ►VECTOR CALCULUS (Calc IV) youtube.com/playlist?list=PL… ►DIFFERENTIAL EQUATIONS: youtube.com/playlist?list=PL… ►LAPLACE TRANSFORM: youtube.com/playlist?list=PL… Hope they help!

Calculus II (Integration Methods, Series, Parametric/Polar, Vectors) **Full Course**

This is the playlist for a full Calculus II course taught by Dr. Trefor Bazett. It will cover: 1) Integration Methods (Integration by Parts, Trigonometric In...

youtube.com
2
4
617
Load more