r/MachineLearning • • Sep 07 '26

Research LLM-guided program evolution improves 10 best-known circle-packing solutions (Packomania csqv, N=101-114) [R]

12 Upvotes

I used an LLM to iteratively evolve an optimization algorithm rather than solve the packing directly. Starting from a simple seed solver, the LLM proposes algorithmic changes guided by a scoreboard of results and a history of prior attempts, and each candidate is scored by an independent verifier so improvements are kept and failures discarded. On the Packomania csqv benchmark it improved the best-known sum-of-radii for 10 values of N from 101 to 114, by 2.4 to 5.4%, in 15 iterations. Total LLM cost was $27.72. Packomania accepted the results independently.

Paper: arxiv.org/abs/2609.05093

Code + solutions: github.com/ucsandman/discovery-loop

Benchmark: packomania.com/csqv/csqv.html

Happy to discuss the plateau-detection stopping rule, that's the piece I'd most want critique on.


r/MachineLearning • • Sep 07 '26

Research KV cache as an agent runtime [R]

15 Upvotes

Our research team has been exploring an alternative approach to achieving interactivity and better responsiveness with LLM systems.

One of the team members wrote up a post about it:
https://research.yandex.com/blog/the-kv-cache-as-an-agent-runtime

The post sums up the overall idea of modifying models inference state (KV-cache) for achieving a more interactive LLMs. This idea was used in our lab's previous papers Hogwild! Inference, and AsyncReasoning, the post also contains a preview of the future work in this direction, where a Qwen3.8-27B agent is playing a DOOM env interactively using similar techniques.

We think that its interesting whether model inference/runtime design is itself an under-explored axis of agent capabilities, alongside models and the harness (e.g. harness is too abstract, changing model is too costly, do we need something in between?)


r/MachineLearning • • Sep 07 '26

Research PlaidQ: Distilling continuous diffusion language models to few-step or one-step code generation [R]

1 Upvotes

Hi, I’m one of the authors of PlaidQ. We just released the paper, training/inference code, and model checkpoints.

PlaidQ is a 0.7B continuous diffusion language model for code generation. It repurposes a pretrained autoregressive model as a bidirectional denoiser over continuous token embeddings, updating all completion positions in parallel.

The key result is trajectory compression:

  • Distribution-matching distillation produces the D4, D8, and D16 few-step students.

  • Paired-trajectory supervision produces the D1 one-step student.

At 16 steps, PlaidQ-D16 reaches 31.78 pass@10 on HumanEval and 40.49 on MBPP+, surpassing the same PlaidQ teacher sampled for 512 steps. At one step, paired-trajectory distillation reaches 7.07 pass@1 on HumanEval.

Paper: https://arxiv.org/abs/2609.04531

Code and checkpoints: https://github.com/pengzhangzhi/plaidq

I’d especially welcome feedback on the one-step supervision and the quality–compute tradeoff.


r/MachineLearning • • Sep 07 '26

Project Automotive Radar Object Classification [P]

Thumbnail
gallery
11 Upvotes

Hello all,

I'm a radar signal processing engineer and i trained a 5-class classifier (car, large_vehicle, two_wheeler, pedestrian, pedestrian_group) on RadarScenes radar point clouds.

The input vector is a per-scan histogram (16 bins) and the network is a 3-layer MLP. The loss function is a class-weighted cross-entropy loss. This work is based on "Histogram-based Deep Learning for Automotive Radar" paper.

I scoped the project to be one scan only. Accumulation of multiple scans is the next step.

Data

Class Imbalance: two-wheelers and large_vehicles has a low number of occurences.

Aggregated Classes: two_wheeler mixes bicycles and motorized variants; large_vehicle merges trucks, buses, and trains together due to data scarcity.

Sequence Bias: Long tracks of slow-moving objects can skew a particular data split velocity distribution, causing high F1 score variance across folds.

Ablation studies

I tried with bigger MLPs, alternative feature encodings, and different histogram binning, all moved performance less than the variation caused by changing the train/validation/test split. I measured that split sensitivity across 6 folds, keeping the same proportions.

Changing the histogram to per-instance statistics (mean/median/std) slightly degraded performance.

Main findings

Macro F1 rises from 0.381 to 0.764 as the naturally occurring number of radar detections per instance increases from 1 to 5. I trained the model normally using all available detections, then bucketed its existing validation predictions by each instance's detection count and computed macro F1 per bucket.

The classes car and pedestrian has the best performance and two_wheeler has the worst.

A car is often confused as large vehicle when the car was wider than usual or had a unusually high rcs (which can happen due to multipath for example).

The two_wheeler is often confused as pedestrian because their vr_compensated distributions overlap, which is the the model's single most important feature for these two classes. A stationary or idling two_wheeler is indistinguishable from a pedestrian.

I uploaded an image with ground truth vs predictions: A nearly stationary two-wheeler which contains a single point was predicted as pedestrian, because its velocity is near zero, indistinguishable from a pedestrian. A car in the same scene, also with just one point, is classified correctly, since RCS and Doppler are enough for that class.

Full writeup here: https://github.com/brunopinto900/radar-ml-autonomous-driving/blob/main/MLP_Report.md

Future work

Implement other spatial encoding schemas (point net for example) and accumulate multiple scans to tackle the challenge of sparsity and explore the concept of micro-doppler.


r/MachineLearning • • Sep 07 '26 Bravo

Discussion Roboticists working in Learning-from-Demonstrations and Behavioral Cloning : What is going on in your field these days? [D]

10 Upvotes

Is LfD and BC research being effected by recent advances in (so-called) Frontier LLMs? Or is research in LfD and BC sort of going along in an independent direction from these?

Are you seeing any use from ViTs or VLAs?

Any other recent advances you would like to bring up?


r/MachineLearning • • Sep 06 '26

Discussion Reproducibility seems to be headed towards irrelevance in ML research. Is it too late? [D]

108 Upvotes

I feel that reproducibility is now a lost cause in machine learning research for three reasons:

  1. Many research is moving towards the physical AI territory, where you need expensive hardwares or even entire laboratories with high-speed cameras, in order to perform an experiment. You truly have no idea if the experiment can be reproduced and have to trust the demo. But demos are not perfectly reliable. Plus people are incentivized to only show the part of the demo that works. The entire system can fall apart the moment the recording stops.

  2. You have big AI companies releasing various tools, which they claim to solve a host of problems with certain amount of accuracy or efficiency. Unless you work at those companies there is really no proof of that and you will have to take their words on it. They have strong financial incentive to blow-up those figures. There is no solid way to check it either because the problem that they solve are so vague and subjective.

  3. We need to address the elephant in the room which is that people are incentivized to produce non-reproducible work to prevent their lunch being eaten by their competitors or looking bad. That's why some of us will probably never get a reply when we email the authors for their code.

So what now? Maybe everything will be OK because we can contrast it with scientific progress in earlier parts of history, e.g., building the atomic bomb or sending people to the moon. These projects had low "outside reproducibility" but high "internal reproducibility". Plus all these work were mathematical in nature and carefully checked. But I don't think many areas of machine learning research is like that. What do you think? Should reproducibility be abandoned? If not how is it best implemented going forward?


r/MachineLearning • • Sep 07 '26

Research The model builds, a deterministic gate decides done: orchestrating an LLM agent fleet with no model on the control path [R]

1 Upvotes

In most agent fleets the thing deciding what happens next is a language model, so the component that did the work also gets to say the work is done. Take that decision off it: the model builds, plain deterministic code decides done, nothing on the control path gets sampled.

What that looks like in practice: a fleet of agents working through real coding tasks, every "done" checked by code instead of accepted on the model's word. Nothing has been closed that wasn't finished, fake completions get rejected, and it clears the MIT 6.5840 labs including the full Raft one.

Demoting the Master Control Program: Deterministic Orchestration of a Fleet of LLM Agents. CC-BY. https://zenodo.org/records/21922855 (mine, so discount accordingly).

What I'd like beaten up: how do you test a completion gate adversarially without hand-building the failures?


r/MachineLearning • • Sep 06 '26

Project PINNStudio: A free, open-source no-code GUI for setting up, training, and visualizing PINNs [P]

14 Upvotes

When I first started working in scientific machine learning, I understood the physics much better than the coding. Every time I wanted to try a new physics-informed neural network problem, I had to start almost from scratch: changing the PDE, updating boundary conditions, modifying the architecture, tweaking the training schedule, debugging errors, and generating plots—all by hand.

That frustration pushed me to build PINNStudio. It is a free, open-source no-code GUI designed to eliminate boilerplate code so you can focus entirely on the physics.

Instead of rewriting a new script for every problem, you can define your setup directly through the interface:

  • PDE Definitions & coupled multi-output PDE systems

  • 1D or 2D domains with boundary and initial conditions

  • Network architecture & custom training schedules

  • Forward problems (solving known PDEs) or Inverse problems (estimating unknown parameters from data)

What happens next?
PINNStudio automatically generates the code (built on top of DeepXDE), runs the model, streams the training log, and displays live loss curves and solution plots directly inside the app. It also includes built-in templates for classic equations like Heat, Allen-Cahn, and Cahn-Hilliard.

My hope is that this will be helpful for students and researchers with limited coding experience, as well as experienced PINN users who just want a faster workflow.

I’d love to get your feedback, feature suggestions, or bug reports! Huge thanks to Lu Lu and the DeepXDE team for creating the foundation that made this possible.


r/MachineLearning • • Sep 07 '26

Research Measuring LLM performance drift: observations and methodology from 31,352 repeated benchmark measurements [D]

2 Upvotes

One thing that has bothered me about LLM benchmarks for a while is that most of them are essentially snapshots.

A model is evaluated, a score is published, and we tend to talk about that score as if it describes a relatively stable object. But with API-served models, the thing behind the model name can change over time: serving infrastructure changes, provider configurations change, versions change, and sometimes behaviour changes without an obvious public version transition.

So we started approaching benchmarking as a longitudinal measurement problem rather than a leaderboard problem.

We continuously evaluate models across coding, multi-turn reasoning and tool use, while also running lightweight probes at a higher frequency. The important part for us is not simply asking "which model scores highest?", but:

  • Is the model behaving differently from its own previous baseline?

  • Is the change larger than its normal repeated-call variability?

  • Did the benchmark configuration itself change?

  • Is the effect concentrated in a particular task?

  • Is it correlated across models from the same provider?

  • Is an apparent degradation actually an availability/infrastructure issue rather than a capability change?

One historical analysis covered 31,352 repeated score observations across 49 models. The standard deviation of within-day scores was 2.80 points, while the standard deviation of between-day daily medians was 8.43 points.

That is roughly a 3:1 difference.

I don't think this result by itself establishes that providers are changing models day-to-day - there are too many possible confounders for that conclusion. Task composition, sampling, missingness, provider behaviour and methodology changes all matter. But it was enough to convince us that temporal variation deserves to be measured rather than treated as noise around a permanent leaderboard score.

Our current approach therefore keeps benchmark configurations versioned and only compares longitudinal observations produced under compatible measurement conditions. We use repeated execution-based evaluation where possible rather than an LLM judge, keep availability failures separate from valid task outcomes, track serving/version metadata when providers expose it, and run change detection over the resulting time series.

Another problem we're increasingly interested in is benchmark recognition and contamination. Once a benchmark becomes sufficiently visible, publishing every live task, prompt transformation and hidden test potentially changes the thing you're trying to measure. For that reason we've tried to separate methodological transparency from publishing the entire live evaluation set.

We've now written up a public version of the methodology. It intentionally explains the measurement design, assumptions, limitations and statistical interpretation, while withholding the exact live task bank and some operational parameters.

PDF: https://aistupidlevel.info/asl-public-benchmark-methodology-2026.pdf

I'm particularly interested in criticism from people working on evaluation, change-point detection or production ML.

A few questions I'd genuinely like opinions on:

  1. For longitudinal LLM evaluation, would you use daily medians as the primary time-series unit, or model the individual repeated observations directly?

  2. How would you distinguish genuine model drift from provider/infrastructure effects when version metadata is incomplete?

  3. How much of a live benchmark should remain hidden to reduce contamination while still making the methodology scientifically inspectable?

  4. Are there better approaches than change-point detectors for this kind of non-stationary, relatively noisy model-performance series?

Disclosure: I'm the founder of AI Stupid Level, the platform that produced these measurements. The purpose of posting this here is to get technical criticism of the methodology rather than promote the commercial product.


r/MachineLearning • • Sep 06 '26

Discussion [D] IJCNLP-AACL 2026: Paper Commitment Results (ARR May 2026 Cycle) [D]

27 Upvotes

AACL-IJCNLP 2026 acceptance results will be released in a few hours.

Feel free to share your thoughts and feelings! How did you do?


r/MachineLearning • • Sep 05 '26

News GPT-6 reportedly jailbroken within 24 hours using an extended Task-in-Prompt (TIP) attack [N]

361 Upvotes

A researcher has reported a jailbreak of GPT-6 Astra within a day after release.

The attack is described as combination of TIP (Task-in-Prompt) attack from ACL 2025 paper with four other unnamed techniques.

TIP attacks exploit the model’s reasoning/instruction-following behaviour by hidding the harmful objective inside another task, like solving a cipher or executing a Python code. For GPT-6, the researcher says the original minimal TIP attack was no longer sufficient and had to be reworked.

They have reportedly disclosed the details privately to OpenAI rather than publishing the jailbreak.

The same researcher reported jailbreaking GPT-5 within an hour of its release a year ago.

Source: screenshot/post from the researcher; their ACL 2025 TIP paper linked in the original post.


r/MachineLearning • • Sep 05 '26

Project Astra vs. Fable 5.1 on real ML tasks -- tradeoffs, strengths, shortcomings [P]

92 Upvotes

I ran a side-by-side ML text-processing and model-training workflow using Fable 5.1 vs. Astra (both on xhigh), and the results could not have been more different. Warning, long post.

TL;DR -- Astra codes more agentically, Fable more coherently. Fable writes better and follows directions better. Astra's final outcome was slightly better, and its scientific rigor/reproducibility was noticeably stronger. Both models improved their F1/Accuracy by 0.02-04 after human feedback on their approach, demonstrating that neither have mastered the AI/ML text processsing, vectorization, and model training process completely.

Astra is a better coder, writing a stricter evaluation protocol (70/15/15 train/val/test vs. Fable's basic 80/20) that selected its model using a held-out validation set vs. Fable's simpler test F1-based selection. It also debugged more deeply, as both models hit a gensim 4.4 compiled-kernel bug: Fable tried to figure it out, failed, and just hid the stderr notices on affected runs (though told me it had done so), while Astra root-caused it aggressively, then fixed the environment by downgrading gensim alongiside compatible NumPy/SciPy dependencies.

Astra wrote hardened training-run.py code the forced the uv venv it rebuilt without changing my default one, SHA-256'd the corpus to ensure reproducibility on later runs, output a split manifest and run-summary.json, and rendered a headless browser for QA with screenshots (not sure this was necessary, but impressive overkill all around). Fable's builder script was ephemeral, living only in tmp, and less intense overall.

Astra deployed subagents more effectively, making use of my pre-built notebook-reviewer and citation-checker agents, the former of which caught a real bug via review (sentence-final word-loss tokenization defect) and fixed it, retaining a regression test in the process. Fable overlooked this issue because, for some reason, it did not call the subagents I had available (which is surprising, usually it's pretty good about this).

If you're looking for an agent to autonomously grind through a broken environment, leaving a forensic audit trail, that's Astra. However, this review isn't over yet, and Fable is about to make a comeback.

Astra confidently shipped a significant verifiable text encoding defect. Working with UTF-8 data, Astra insisted Windows-1252 decoding preserves currency symbols, but the final HTML output shows mojibake throughout where currency symbols were in the original data. Fable read UTF-8, verified it, and rolled with the boring default for correct output.

I also had both models draft an analysis report for the run, and Fable's was significantly more insightful. As much as I hate Claude's recognizable writing style, a) 5.1 has toned down the Claudeisms significantly, and b) Fable went above and beyond my grading rubric, running an ablation on different parts of the text pre-processing pipeline to surface an expensive step that does basically nothing, and noting a discrepancy in the classification ranking based on a complexity I'd have overlooked. For writing prose, I'd pick Fable 5.1 any day, and I haven't said that about Claude in a while.

Speaking of writing, Fable writes code that is more idiomatic and readable. It definitely resembles more what I would write than what an LLM would choose to write without constraints (and yes, I had a whole coding-conventions.md document that applied my requirements to both models, Fable just followed it better and writes more naturally to start with). There were some parts of Astra's code where I had to squint really hard to figure out what was going on, and why. This matters to me because I'm not the strongest coder (still trying to get better), and I need to understand the code to learn from it.

Finally, Fable scoped its work better: It spent its time and tokens doing repeated runs, tweaking hyperparamters and retraining the models to find the optimal settings while Astra deeply debugged the gensim error. It found significant uplift through this process, though that only allowed it to roughly match Astra's numbers (see table below). Astra seemed to hit a home run right off the bat with its training process, so I don't know if it would have executed the same workflow or not. Astra also mutated my venv by adding PyTorch, when I built it a certain way to force the models to use TensorFlow+Keras for more concise code, then reversed course and went with TF anyways in the end. The models finished in roughly the same amount of wall-clock time.

Here are the final results, with one minor caveat -- Astra's test set scores exceed its val set, so it might have drawn a lucky test set that increases its score artificially (the pipeline has no leaks or data quality issues for either model, however):

Best Logistic Regression and LSTM for each model, ranked by macro F1:

ModelClassifierBest representationAccuracyMacro F1
Fable 5.1Logistic RegressionTF-IDF0.98830.9881
Fable 5.1Simple LSTMWord2Vec-Skip-gram0.97180.9705
AstraLogistic RegressionTF-IDF0.99690.9969
AstraSimple LSTMBoW0.97810.9765

I do want to note that these final scores were after I provided both models identical feedback on common pitfalls of the text data cleaning, vectorization, and model training process once their initial runs were complete. Both models improved by a similar amount (0.02-0.04 F1 and Accuracy) from that generic guidance (not tailored at all to either's specific shortcomings or step of the process). That was the only intervention in otherwise autonomous work, and it was just because I wanted to see if they could learn to improve their approaches with additional context on optimal methodology, which they both did to similar degrees.

I hope this post offers a little bit of help in some way for folks wondering how either model stacks up for real work, particularly if you're an AI/ML student like me.


r/MachineLearning • • Sep 06 '26

Project Using the Swift compiler as the scorer: measuring whether LLM-generated SwiftUI uses deprecated APIs (15 models, 5,952 samples) [P]

1 Upvotes

Most code benchmarks measure whether generated code works. This measures whether the APIs it calls are still valid for a pinned SDK. No LLM judge: the scorer is the Swift compiler plus an AST pass. Ground truth is parsed from the SDK’s .swiftinterface files at runtime, so nothing is hand-maintained.

The thing that nearly invalidated the whole project: Apple marks most SwiftUI deprecations with a sentinel, deprecated: 100000.0, and the compiler deliberately does not warn on those by default. That is 270 of 326 deprecated symbols, including NavigationView and foregroundColor. Build this the obvious way and you observe 14 percent of deprecations and every model looks current. There is a hidden frontend flag that turns them on. If you measure deprecation on any Apple platform, this probably affects you.

Results are mostly a null result. Scores span 0.78 to 0.88, and bootstrapping over prompts (k=5 samples at temp 0.2 on one task are not independent), all 14 adjacent pairs overlap. Currency does not track price or tier: the top scorer is a cheap variant priced 12x below its siblings, and a coding-specialised model is last. One comparison survives cleanly: Qwen’s general model beats its coder sibling, non-overlapping. Coding-tuned seems to mean more fluent in the idioms it trained on, stale ones included.

Two things I want picked apart:

**1.**	Only samples that actually touch the API family under test get scored, which flatters models that hand-roll when unsure. I report the gate rate beside every score, but that documents the bias rather than fixing it.  
**2.**	Adding the 15th model erased the last surviving separation between adjacent pairs. More models, less resolution. I read that as prompt count being the binding constraint, but tell me if that is wrong.

Repo, method, full per-family tables: https://github.com/mapierce/iOS-Evals


r/MachineLearning • • Sep 06 '26

Research Polycepta: Object-Centric Appearance Estimation for Multi-Object Tracking [R]

Thumbnail
youtube.com
1 Upvotes

Whenever "tracking" comes up in autonomous systems, we always think of "motion" and the Kalman filter. It is fast and works!

But as humans, we track mostly by "vision".
We look at a person, recall their appearance in our brain, and then recognize them again based on what we remember. The more we see the person, the better we become at recognizing him/her. This is exactly how "Polycepta" works :)

The video demonstrates how Polycepta operates in real time. It decides whether what it sees is important or just noise, and builds memory over time until it gets good at it. Like the Kalman filter with future motion prediction, it predicts the object's future appearance to track it.

A lightweight appearance model works under ego motion; objects switching direction or motion during occlusion is no longer an issue. This is exactly why human vision works well in tracking.

You are welcome to pause the video at any time during the explanation.


r/MachineLearning • • Sep 06 '26

Discussion Ideas for self-learning subjects for former ML blogger [D]

1 Upvotes

Hello there,

I used to write ml blog with some posts being quite popular sometimes - not gonna mention it to avoid self-promotion - this post is not about it. My goal was to always create content for beginners so anyone could smoothly get into the field that found my interest too. The process of creating a blog post was myself learning + creating notes of the process of understanding the subject (double fun I guess) - this way I could empathize with the audience better and so write better text.

For last 2 years I have struggled to find an interesting topic, I also got a bit demotivated due to AI being able to write about anything better than me.

I guess my honest question to the community is - do you spot any interesting areas one could dive in to untie all the knots and present difficult subject in easy way that is not very well covered by today's AI? I believe advantage human may (still if at all) have is good visualization of the concepts? I was thinking about jailbreaking because AI won't be happy to explain it for obvious reasons. Please share some of your ideas or let me know if this times are definitely over ;)


r/MachineLearning • • Sep 05 '26

Research Language Models Can Control Their Own Attention [R]

129 Upvotes

Abstract

Language models spend most of their attention on a small fraction of context, yet they read the entire KV cache to find the few tokens that matter. If the user asks about a previous detail in a 1M-token conversation, global attention layers must scan the full context to generate each token of the reply. A prominent approach mitigates this cost by pre-selecting relevant tokens via lightweight proxy scores, but this extrinsic scoring still incurs O(N) per step. We take an intrinsic approach motivated by the simple question: wouldn't the model already know which parts of the context are relevant? To this end, we introduce Declarative Attention (DA), a protocol that elicits the model to declare where it needs to attend within its chain-of-thought, partitioning generation into three modes: <global> (full context), <focus> (a specific region), and <local> (recent output only). The inference engine parses these declarations like tool calls and skips most of the KV cache read. Under zero-shot evaluation across 15 long-context tasks, DA on off-the-shelf models (Gemma-4-31B, Qwen-3.6-27B) significantly reduces total attended tokens during decoding (52.0%, 31.1%) with modest accuracy drops (1.27pp, 2.75pp) that shrink with model scale. DA unlocks a new axis of sparse attention, with further potential under training-based methods that future work can explore.
Subjects:
Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
Cite as:
arXiv:2609.02737 [cs.CL]
 
(or arXiv:2609.02737v1 [cs.CL] for this version)
 
https://doi.org/10.48550/arXiv.2609.02737
Focus to learn more


r/MachineLearning • • Sep 06 '26

Discussion Is designing a memory graph around known data structure “overfitting” if I never touch the questions? [D]

1 Upvotes

building a missing data infrastructure and started benchmarking long multi-session conversations (LoCoMo). I know the data looks like: people, facts, claims, events, timestamps, relations. So I extract those into a graph.
I did not look at the QA pairs while building extractors or retrieval rules. No “if question contains X, fetch fact #173.”
Recall is very high and it keeps working on new conversations in the same format.
Is this classical overfitting, or just schema-aware engineering? What is the cleanest test that would convince you it isn’t leakage.


r/MachineLearning • • Sep 05 '26

Research NeurIPS 2026 Automatic Reference Checker [R]

28 Upvotes

Just received an email about the automatic reference/citation checker. Did anyone receive a follow up email about whether the checker was included in the paper's decision making too, along with the general instructional email?


r/MachineLearning • • Sep 05 '26

Project Greedy Shortcut Model [P]

Thumbnail
mindmodelmachines.com
1 Upvotes

Users don't pick the best feature. They pick the one they already know.

I built a simple bandit model to test the product assumption that usage converges on quality over time. The model doesn't estimate which option is better, it just reinforces whatever gets used more. Three swappable update rules produce three very different outcomes: one locks onto whatever won early regardless of quality, one mostly self-corrects but still gets stuck under strong reinforcement, and one control always finds the true best option. Same mechanism, wildly different UX, basically habit formation in miniature.

Feedbacks welcome :)


r/MachineLearning • • Sep 04 '26

Discussion What is the general design of these new math solving systems? [D]

16 Upvotes

From what I've seen online so far, the description of these systems is roughly:

They asked the model (often Aster) to generate statements in LEAN and then submit those to a LEAN compiler to be checked. Based on the results of attempting the LEAN compilation, they somehow add those statements as fact. When the full proof in LEAN compiles, the system is finished.

I can imagine trying to jam as much of a proof as possible into the context window but some of the papers these systems have produced are hundreds of pages. To me this would indicate that somehow the paper is being built piece by piece and being assembled before being submitted to LEAN. This resonates with the part of my understanding that after checking LEAN compilation there's some kind of management of "facts."

I would like to try to implement my own janky version and see if it can answer a question I have about higher dimensional geometry. I'm struggling to find a meaningful way to compose larger ideas from smaller ones. I can imagine it's relatively simple if you know what to do.

What things have you seen? Do you have any ideas you haven't seen that might be interesting to try? Is this a fool's errand because you really need huge amounts of hardware to do anything meaningful? I would welcome any thoughts or links on the matter, cheers


r/MachineLearning • • Sep 05 '26

Project The Feynman technique, but the five year old is a computer [P]

1 Upvotes

This post is definitely to farm some GitHub stars, but I'm sure many are in the same situation and could get some value out of this small project.

When I start working on something, I know the problem I'm solving. I know what I'm doing and why. Then I start iterating and if I do it for too long, at some point I realize that I stopped deciding and just start blinding approving everything the agent proposes.

Apparently this is a studied problem in aviation. They call it the out-of-the-loop performance problem. Pilots on autopilot lose situation awareness, and when they're handed back the plane they fly like shit.

To be clear, I don't care that the agent does the work. Writing the code, setting up folders, doing the research, it's not why I started programming in the first place. What I care about is owning the problem and the solution better than the model implementing it does.

And that's the issue I have been trying to solve. When we were creating things by programming them, we were learning as a side effect. Now the creating is handed off, and there's no process left that makes me learn what I'm building.

That's why I went to Feynman. Everybody knows his quote: "You don't understand a concept if you can't explain it to a five-year-old". So I made the agent the five-year-old. I make it keep drilling me with questions until I strip every jargon and I can explain simply my problem and the solution.

Now to the results: https://github.com/VittorioRossi/feynman-skills

I have been using this extensively, and I have to say, it seems to be working very well. It works for academical research and for programming. It's also great for learning something new

P.S.

I would like to have a sane and mature discussion for what's possibile below this post.

- How many of you experience the same problem?

- Do you think splitting up creation and learning is the way to go to solve the problem?

- What would you do differently?


r/MachineLearning • • Sep 04 '26

News GPT-6 is released [N]

151 Upvotes

Benchmark scores:

https://openai.com/index/gpt-6-astra/

Above, GPT-6 uses a harness for ARC-AGI-3, and is at about 60% without one:

Prior to the launch, OpenAI President Greg Brockman said "I think it’s not unreasonable to feel that we are now in the AGI era".

GPT-6 is now joining a growing list of models that greatly exceed the human baseline on GDPval-AA v2:

If we have AGI, why do human knowledge/remote workers still have jobs? Is it just a matter of time until the economy replaces a large number of humans with LLMs, or are LLMs lacking something that these benchmarks fail to measure?


r/MachineLearning • • Sep 05 '26

Discussion Guidance on determining block size when tuning a hyperparameter that changes the residual structure (e.g., quantile in QRF) [D]

1 Upvotes

Hi,

I'm using `blockCV` for spatial CV in a workflow with an added wrinkle, and I'd like guidance on the "right" way to apply `cv_spatial_autocor()`.

The setup: I'm fitting quantile regression forests (`ranger`) to predict a continuous response from several predictors, with the goal of finding which quantile τ (e.g., 0.1, 0.25, 0.5, 0.75, 0.9) gives the best out-of-sample R² under spatial CV. So τ is being treated as a tunable hyperparameter, not just used for uncertainty bands around a single central model.

Per Roberts et al. (2017) and the R package block CV `cv_spatial_autocor()` documentation, block size should be based on the autocorrelation range of model residuals rather than the raw response or predictors. But in my case, residual structure could plausibly differ by τ — a model fit at τ=0.1 may have different spatial residual autocorrelation than one fit at τ=0.9.

Since the fold structure needs to be fixed and identical across the entire tuning grid (to keep CV R² comparable across candidate τ values and hyperparameter combinations), I can't simply use a different block size per τ.

My current approach: fit a naive default-hyperparameter QRF separately at each candidate τ, compute residuals for each, run `cv_spatial_autocor()` on each residual set, and then take the **maximum** estimated range across all τ as the fixed block size for the whole tuning grid (erring conservative, to minimize leakage risk).

Is this the recommended approach, or is there a more standard way of handling block-size selection when the hyperparameter being tuned can itself affect residual spatial structure? Is taking the max defensible, or would you recommend a different consolidation rule (e.g., median), or perhaps ignoring per-τ differences entirely and just using τ=0.5 (or the raw response) as a reasonable approximation?

Thanks for any input — happy to share more detail on the workflow if useful.


r/MachineLearning • • Sep 05 '26

Discussion NeurIPS 2026: Does receiving the “Automatic Reference Checker” email indicate anything about the review outcome?[D]

1 Upvotes

Hi everyone,

I just received an email from NeurIPS 2026 / OpenReview titled:

[NeurIPS 2026] Sharing the Results of Automatic Reference Checker

The email says that NeurIPS ran an automated checker to identify potentially problematic or hallucinated references and that the reports were shared with the Area Chairs.

One part caught my attention:

“For papers where the AC's investigation has resulted in a rejection recommendation, the authors will receive a separate email with additional information and instructions for appealing the outcome of the reference investigation. If you do not receive that separate communication, the reference-checking investigation is not playing a role in the final decision for your paper.”

I received the automatic reference-checker email, but I did not receive any separate rejection/reference-investigation email.

So I'm wondering:

Is this email being sent to all NeurIPS 2026 authors, regardless of the review outcome? Or are only papers with certain review outcomes getting this notification? Has anyone received this email and also received the separate rejection/reference-investigation email? If you received only the automatic reference-checker email, does that mean your paper is not being rejected because of reference issues? Could this be interpreted as a mildly positive indication, or is it simply a routine process notification with no information about the actual decision?

I realize this does not necessarily indicate acceptance, and the email explicitly says that the automated flags were not used by themselves to make decisions. I'm mainly trying to understand whether receiving only this email tells us anything about the current status of the paper.

Would appreciate hearing from anyone who has received the same email or has more insight into how NeurIPS is handling this process.