PhD Researcher | LLM4SE & multi-agent AI systems | LLMs for mathematics & autoformalization | Open to research collaborations, industry roles & consulting
Toronto, ON
Joined May 2009
- Tweets10.8K
- Following6.7K
- Followers1.4K
- Likes1.3K
Pinned Tweet
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
Marcus Barnes retweeted
We are accepting applications for tenure-track Assistant Professor positions (deadline: Dec 7) and an Associate Professor with tenure position (deadline: Dec 8). Applicants in systems, data management and data mining are encouraged to apply. cs.ubc.ca/our-department/emp…
ALT UBC Computer Science. We're hiring! Assistant Professor - tenure-track (up to 2 positions), Associate Professor with tenure. Start date: July 2027
Marcus Barnes retweeted
🚀 UofT Computer Science is hiring 7 faculty across 3 campuses: all areas, all ranks. Apply by Dec 15.
As a prof at one of the birthplaces of #DeepLearning, one of my favorite little joys is having my office just a few doors down from @geoffreyhinton's former office😊
More to love:
✨Total academic freedom (and I like freedom to work on any AI for social good topics I care about)
🤝 Warm and collegial faculty community
🌱 High tenure rate, with a culture of collaboration rather than competition
web.cs.toronto.edu/employmen…
Please share widely. We'd love to welcome new colleagues!
#FacultyHiring #ComputerScience #AcademicJobs
Marcus Barnes retweeted
The Jev effect is here, @typesafeai .
@MistralAI's new model Timestral does zero-shot forecasting on time-series data. I made a tool to explore it. alejandroerickson.com/2026/1…
Marcus Barnes retweeted
while waiting for the official @ThePHPF PHP patch,
run this read-only script to check for changes in your /var/www and other things.
(CVE-2026-109618 / -109619)
gist.github.com/SourceCodepl…
Marcus Barnes retweeted
The PHP security team is giving advance notice: Upcoming security release Wed, Oct 21st 2026, 14:00UTC, two critical vulnerabilities, both rated CVSSv4 9.2.
PHP users are encouraged to prepare to update. Earlier release if details become public or active exploit evidence.
PHP2Shell: What Actually Protects You Before the 14:00 UTC PHP RCE Patch, and What Doesn't thehackernews.com/2026/10/ph… via @TheHackersNews
Marcus Barnes retweeted
New result of Manvir Jaswal shows that the Park-Poonen-Voight-Wood heuristic fails for the torsion groups Z/2Z x Z/6Z
zenodo.org/records/23364157
Marcus Barnes retweeted
rank 32
elliptic-rank.icarm.cloud/cu…
Marcus Barnes retweeted
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…
Marcus Barnes retweeted
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
Marcus Barnes retweeted
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…
Marcus Barnes retweeted
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!
Marcus Barnes retweeted
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!
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
Marcus Barnes retweeted
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
Marcus Barnes retweeted
🚀 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…
Marcus Barnes retweeted
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/
A Leaked GitLab Issue Email Address Lets Anyone Push Code and Run CI Jobs as You thehackernews.com/2026/09/a-… via @TheHackersNews
Marcus Barnes retweeted
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/…
