Verifiable Automated Scientific Research by Agent Teams on Open Problems at Scale

Using AI agent teams to autonomously conduct scientific research on 317 open problems across 49 disciplines. For each problem, a lead agent reasons about the best team, creates it, and the team produces a verified, reproducible and replicable research.

Iddo Drori1 · Alexy Skoutnev1 · Kirill Acharya2 · Gaston Longhitano3 · Avi Shporer4 · Madeleine Udell2 · Dov Te'eni5

1Yeshiva University   2Stanford University   3Boston University   4MIT   5Tel Aviv University

Overview
AI-Driven Scientific Discovery

Using AI agent teams, for each of 317 open scientific problems we ask a lead agent to think deeply about who the best team would be for doing research and writing a paper on the problem, then create the team and work on it. Each team produces a complete research package: computational solution, deterministic experiments, structured data, a full-length paper, and an interactive web application.

49 Scientific Disciplines

From quantum mechanics and astrophysics to fluid dynamics, biology, and machine learning. The pipeline handles theoretical, computational, and experimental problems across the full spectrum of science.

Three-Layer Verification

Every numerical claim is cross-referenced against source data. All experiments are rerun for reproducibility. Mathematical proofs are formally verified.

Full Reproducibility

Deterministic seeding (seed 42), pinned dependencies (NumPy 1.26.4, SciPy 1.12.0), and automated experiment reruns ensure bitwise-identical results across runs.

Interactive Exploration

Every problem comes with a self-contained HTML web application featuring Chart.js interactive visualizations, data tables, and responsive design.

Review & Revision Cycle

50 problems received AI-generated peer reviews. 52 problems have complete revised packages with updated experiments, data, and papers. 157 verification reports assess claim accuracy.

Architecture
Agent Team

For each problem, a lead agent reasons about the optimal team composition, spawns specialized agents (analyst, experimenter, writer, reviewer, reviser), and coordinates them through eleven stages in two phases.

Phase 1: Generation

1
Problem
Analysis
2
Data
3
Code
4
Paper
5
Poster
6
Slides
7
App

Phase 2: Review & Revision

9
Peer
Review
10
Revision
11
Verification
Analytics
Corpus Statistics

Problems by Track

Top 15 Categories

Corpus
All 317 Research Packages

Each problem has a paper, poster, slides, and an interactive web application. Use the search and filters below to explore.

317 problems
Cat Problem Title Links
CYEffect of AI tools on novice developers’ skill formationPaperPosterSlidesApp
CYWhether AI assistance hinders development of skills needed to supervise automated tasksPaperPosterSlidesApp
LGSDPO for alignment in open-ended or continuous‑reward settingsPaperPosterSlidesApp
NAComplete characterization of W^{2,p} regularity on non-smooth domains for the Poisson Dirichlet problemPaperPosterSlidesApp
AIEfficacy of multimodal interleaved chain-of-thought for surpassing mathematical performance limitsPaperPosterSlidesApp
AIScaling abstract world-model representations across domains and modalitiesPaperPosterSlidesApp
LGTheoretical validation of the demonstration-conditioned teacher as near-optimal and minimally deviatingPaperPosterSlidesApp
LGPrincipled mitigation of spurious linguistic artifacts in SDFTPaperPosterSlidesApp
MLAsymptotic behavior of standard gradient boosting algorithmsPaperPosterSlidesApp
LGOptimization landscape and feasibility in the updated Riemannian AmbientFlow objectivePaperPosterSlidesApp
ROVerifying Source Authenticity of Successful Robotic DemonstrationsPaperPosterSlidesApp
LGPrincipled identification of optimal augmentation strategies for TSFM trainingPaperPosterSlidesApp
CLEffective removal of out-of-context and line-break inserts in dictation transcriptsPaperPosterSlidesApp
CLWord-level probability that accounts for multiple tokenizations in WhisperPaperPosterSlidesApp
CLEvaluating WER under selective prediction in long-form ASRPaperPosterSlidesApp
LGConvergence Guarantees for the Two-Timescale RSGN Learning SystemPaperPosterSlidesApp
LGStabilizing LUFFY on hard problems with human reference solutionsPaperPosterSlidesApp
LGConditions under which unguided rollouts reach guidance-like computationsPaperPosterSlidesApp
LGFormalizing why POPE improves exploration on hard problemsPaperPosterSlidesApp
CVAssigning per-frame photometric parameters for novel viewsPaperPosterSlidesApp
LGScaling behavior of OPSD beyond 8B-parameter modelsPaperPosterSlidesApp
LGOrigin of the persistent bias in neural actor–critic algorithmsPaperPosterSlidesApp
CVAdaptive bracketing for median-depth binary searchPaperPosterSlidesApp
CVVolumetric RGB and normal rendering under the stochastic-solid formulationPaperPosterSlidesApp
CVShape extraction from Gaussian primitivesPaperPosterSlidesApp
CVScaling autoregressive model capacity with increasing iFSQ codebook sizePaperPosterSlidesApp
HCDependence of calibration gaps and disparities on agent model capabilityPaperPosterSlidesApp
HCAge-related performance and calibration disparities across countriesPaperPosterSlidesApp
HCImpact of user communication diversity on agent performance and successPaperPosterSlidesApp
AIHybrid reasoning in LLMs remains unresolvedPaperPosterSlidesApp
AIConsistent real-world interpretability of LLMs under diverse environmental conditionsPaperPosterSlidesApp
LGAsymptotic behavior of the iterative rounding algorithm’s ratio on a constructed family of d‑dimensional Gasoline instancesPaperPosterSlidesApp
LGApproximation guarantee of the iterative rounding algorithm for the Gasoline problemPaperPosterSlidesApp
LGImproved approximation or PTAS for the Gasoline problemPaperPosterSlidesApp
LGExistence of output‑polynomial algorithms for the bi‑objective knapsack problemPaperPosterSlidesApp
CVConjecture on implicit updates accelerating dead primitivesPaperPosterSlidesApp
CVFlexibility of regularization hyperparameters in 3DGSPaperPosterSlidesApp
CVUncaptured failure modes under no-feedback settingsPaperPosterSlidesApp
CVVisual-only inference of action consequences by VLMsPaperPosterSlidesApp
LGDownstream validation of predicted DCLM mix ratio sweet spot in OLMo-2 mid-trainingPaperPosterSlidesApp
LGPre-training fraction needed to prevent catastrophic forgetting during finetuningPaperPosterSlidesApp
LGSharpness evolution and its relationship to optimization and performance at LLM scalePaperPosterSlidesApp
LGConditioning prompts to generate naturalistic yet verifiable terminal tasksPaperPosterSlidesApp
CVLearning Physically Consistent Geometry at ScalePaperPosterSlidesApp
CLGeneralizability of score range adjustment for numerical bias mitigationPaperPosterSlidesApp
CLEffect of alignment on non-numeric LLM-as-a-judge evaluationsPaperPosterSlidesApp
MLEstablish localized sup-norm risk bounds for broader estimator classesPaperPosterSlidesApp
CLBenefits of text diffusion sampling beyond the code domainPaperPosterSlidesApp
LGSystematically combining agentic exploration with human expertise in kernel generationPaperPosterSlidesApp
IVDevelop a Continuous Unified Visual Tokenizer for Understanding and GenerationPaperPosterSlidesApp
LGSample complexity lower bounds for generic algorithms in contaminated PAC learningPaperPosterSlidesApp
LGAgnostic extension of contaminated PAC learning resultsPaperPosterSlidesApp
LGMean estimation with covariates under synthetic contaminationPaperPosterSlidesApp
LGMinimum-variance unbiased estimator for mean under synthetic contaminationPaperPosterSlidesApp
LGSimultaneous O(1/(nt)) error rate across all rounds in contaminated PAC learningPaperPosterSlidesApp
SOQuantitative validation of ABM-based contact tracing realism and accuracyPaperPosterSlidesApp
CLSource of gains from arbitrary-order decoding in diffusion language modelsPaperPosterSlidesApp
AIEfficient determination of simplified representations for mental simulationPaperPosterSlidesApp
LGPersistence of sparsity and RAM efficacy at 70B+ scalePaperPosterSlidesApp
MLComparison of LLM-based forecasting models for intermittent time seriesPaperPosterSlidesApp
LGNon-transformer effective models for LLM operationPaperPosterSlidesApp
LGAmbiguity in parameterizations of the idealized autoregressive modelPaperPosterSlidesApp
IRAuditory EEG viability for Brain Passage RetrievalPaperPosterSlidesApp
CLMetrics balancing sparsity, fidelity, and mechanistic completenessPaperPosterSlidesApp
CLIs mechanistic interpretability indispensable for downstream tasks?PaperPosterSlidesApp
MLGeneralizing the dual-space strong convexity inequality to nonsmooth lossesPaperPosterSlidesApp
CLAvoiding convergence and diversity collapse in RL with execution rewardsPaperPosterSlidesApp
THIdentify NN-FTs that satisfy the Osterwalder–Schrader axiomsPaperPosterSlidesApp
CVIn-context temporal consistency capability of video diffusion modelsPaperPosterSlidesApp
LGTraining process reward models for long LLM reasoning tracesPaperPosterSlidesApp
AIBalancing memory compression with performance in LLM-based agentsPaperPosterSlidesApp
AIDetermine whether long Lean proof contexts cause failure on the A5 key lemmaPaperPosterSlidesApp
CVCause of the TEA recall peak under gap-penalty ablation in MRIPaperPosterSlidesApp
CVGeneralization of the T2w VERIDAH model across scannersPaperPosterSlidesApp
DLEffectiveness and risks of LLM-based reviewer agents in peer reviewPaperPosterSlidesApp
DLMacro-level impact of LLMs on the scientific enterprisePaperPosterSlidesApp
MLProve linear-in-M nonzero support for FEM coupling vectors w_kPaperPosterSlidesApp
MLObtain FEM diversity bounds that improve with grid size M (analogous to FD)PaperPosterSlidesApp
MLExtend finite element diversity results to higher dimensions and remove augmentationPaperPosterSlidesApp
MLRemove the large-M technical assumption from the finite-difference diversity bound in higher dimensionsPaperPosterSlidesApp
AIGovernance Frameworks for Real-World Agentic SystemsPaperPosterSlidesApp
AILearning Adaptive and Interpretable Multi-Agent Collaboration PoliciesPaperPosterSlidesApp
AIJoint Training and Evaluation of World Models in Non-Stationary EnvironmentsPaperPosterSlidesApp
AICredit Assignment for Long-Horizon Agentic ReasoningPaperPosterSlidesApp
GNMapping global data center geography to US‑reported cloud revenues and profitsPaperPosterSlidesApp
CPNumerically efficient conditions for calendar-arbitrage-free strike-specific variancesPaperPosterSlidesApp
CVLearned versus innate tolerance to incorrect perspectivePaperPosterSlidesApp
AIReliability of Agentic LLMs in Physics-Governed Planning DomainsPaperPosterSlidesApp
AIPerformance of BAPO on larger-scale LLMsPaperPosterSlidesApp
CLGeneralization of LRM chain-of-thought explanationsPaperPosterSlidesApp
CLExplain the performance gap between LLMs and humans in interpreting Jabberwockified EnglishPaperPosterSlidesApp
CLVerify whether Jamrozik et al. (2020) supplementary materials were included in the model’s pretraining corpusPaperPosterSlidesApp
THFully controlled construction of metastable de Sitter vacua in string theoryPaperPosterSlidesApp
SOClosed theory for Kuramoto dynamics with nested hyperedgesPaperPosterSlidesApp
LGEvolution of the separation metric under multi-epoch compositionPaperPosterSlidesApp
CRRisk differences across agent skill typesPaperPosterSlidesApp
CRTaxonomy of vulnerability categories in agent skillsPaperPosterSlidesApp
CRPrevalence of security vulnerabilities in real-world agent skillsPaperPosterSlidesApp
CVAchieving fine-grained spatiotemporal control in human motion generationPaperPosterSlidesApp
CLHow diversity and coordination operate within LLM reasoning tracesPaperPosterSlidesApp
CLDerive scaling laws for alignment pretrainingPaperPosterSlidesApp
CLSpecify the target character for powerful language modelsPaperPosterSlidesApp
CLAssess robustness of results under advanced post-training methodsPaperPosterSlidesApp
LGRelaxing sub-exponential score error to L2-accurate estimationPaperPosterSlidesApp
SDEnd-to-end controllable song generation with multi-condition inputsPaperPosterSlidesApp
AIGeneralization of HRM reasoning-mode taxonomy to recursive reasonersPaperPosterSlidesApp
ROContinual/lifelong learning for long-term robotic operationPaperPosterSlidesApp
AISemantic policy enforcement for low-level CUA toolsPaperPosterSlidesApp
CVIntegrating general-purpose multimodal foundation models into medical applicationsPaperPosterSlidesApp
CRComprehensive architectural solution for distinguishing instructions from data in LLMsPaperPosterSlidesApp
LGBehavior of ConGLUDe on predicted protein structures and highly divergent proteinsPaperPosterSlidesApp
CLExpSeek as rollout augmentation for Agentic Reinforcement LearningPaperPosterSlidesApp
CLGeneralization of ExpSeek beyond web domains and tool integrationPaperPosterSlidesApp
CVIdentify training clips influencing specific motion patterns in generated videosPaperPosterSlidesApp
LGEffective training of flow policies to sample from Boltzmann distributionsPaperPosterSlidesApp
LGFormal relationship between noise-expectation and gradient-expectation objectivesPaperPosterSlidesApp
CLImpact of SQL-based executable pipeline on cross-domain generalizationPaperPosterSlidesApp
CLVerify capacity-driven gains from multilingual SFTPaperPosterSlidesApp
CCTightness of the 16·rational-degree^4 upper bound on decision-tree complexityPaperPosterSlidesApp
CCQuartic separation between decision-tree complexity and rational degreePaperPosterSlidesApp
CCDecision-tree complexity vs. approximate nondeterministic degreePaperPosterSlidesApp
CCInfluence bound in terms of nondeterministic degreePaperPosterSlidesApp
CCGotsman–Linial conjecture (total influence vs. sign degree)PaperPosterSlidesApp
CCGeneralize the Effective Hypercube Nullstellensatz to m polynomialsPaperPosterSlidesApp
ROScalable, principled zero-shot learning of skill transitions across mixed terrainsPaperPosterSlidesApp
ROAutomatic discovery of diverse whole-body contact strategies in higher-DoF robotsPaperPosterSlidesApp
ITRole of the k parameter in Δ^k: sensitivity to interaction orderPaperPosterSlidesApp
DLClassification of Mild Endogeny as Scientific MisconductPaperPosterSlidesApp
SYLong-Horizon Video Generation for RoboticsPaperPosterSlidesApp
AIValidate impact of Claude 4.5 Haiku summarized CoTs on honesty and faithfulness scoresPaperPosterSlidesApp
CVEfficient Attention Mechanisms Balancing Scalability and AccuracyPaperPosterSlidesApp
CLApplicability of the synthetic-data curriculum and SnapPO RL methodology to lower-resource languagesPaperPosterSlidesApp
THGeneral recursion relations for higher-point spectrally flowed correlatorsPaperPosterSlidesApp
IROptimizing the joint item- and token-level hyperparameters in SToICaLPaperPosterSlidesApp
IRMitigating teacher-forcing mismatch in rank-aware token-level training beyond the first tokenPaperPosterSlidesApp
IRNecessity of linear embedding dimension for dual encoders in retrievalPaperPosterSlidesApp
AIScalable high-precision reachable set estimation in high-dimensional settingsPaperPosterSlidesApp
CLScaling the proposed approach to online or interactive RL-like settingsPaperPosterSlidesApp
CLReliability of inducing Long CoT structures via prompting in instruction-tuned modelsPaperPosterSlidesApp
CLCausal role of reasoning bonds in Long CoT learning and why imitation-based distillation failsPaperPosterSlidesApp
CVSingle-agent long-horizon problem solvingPaperPosterSlidesApp
ARSufficiency of Compute in Processing-in-Memory under DRAM Process ConstraintsPaperPosterSlidesApp
LGAdditional optimization flaws and non-learned matrix componentsPaperPosterSlidesApp
LGMinimal mathematical model capturing both noise-dominated and signal-dominated regimesPaperPosterSlidesApp
LGEmpirical indicator of gradient-noise level governing scale adaptationPaperPosterSlidesApp
LGIntermediate group family sizes for prediction-independent multicalibrationPaperPosterSlidesApp
LGOptimal rate for sequential marginal calibrationPaperPosterSlidesApp
AIPlanning directly in latent action spacePaperPosterSlidesApp
AIClosed-form characterization of E(S) in the intermediate regime under the WSD Stable phasePaperPosterSlidesApp
NITopology maximizing the relative feasible wealth volume r(G)PaperPosterSlidesApp
NIClosed-form expression for the volume of W_GPaperPosterSlidesApp
AIUltimate extrapolation boundaries of Fitting and Transfer paradigmsPaperPosterSlidesApp
AIGeneralizability of findings to dense Transformer architecturesPaperPosterSlidesApp
AIFormal guarantees for PSN reflection and refactoringPaperPosterSlidesApp
AIVerifier hacking under extended training in Trade-R1PaperPosterSlidesApp
CVInclude shape variability in rotation-invariant descriptorsPaperPosterSlidesApp
CVOptimize rotation-invariant descriptors for application domainsPaperPosterSlidesApp
CVDesign shape similarity metrics based on rotation invariantsPaperPosterSlidesApp
CVComplete set of rotation invariants for higher-order tensors/polynomialsPaperPosterSlidesApp
CLBalancing latent reasoning with symbolic precisionPaperPosterSlidesApp
CLMechanism of in‑context learning in TransformersPaperPosterSlidesApp
CLRL versus SFT for alignmentPaperPosterSlidesApp
CLReliable hyperparameter transfer across scalesPaperPosterSlidesApp
LGUnclear evolution of LLM-driven architecture synthesis under iterative refinementPaperPosterSlidesApp
MLTrain generative models from noisy measurements of a single ill-posed operatorPaperPosterSlidesApp
MLExtend uncertainty quantification tools across self-supervised imaging methodsPaperPosterSlidesApp
MLDevelop a general theory for nonlinear forward operators in self-supervised inverse problemsPaperPosterSlidesApp
MLUnderstand links between SSRL and self-supervised imaging lossesPaperPosterSlidesApp
ROContinual skill acquisition without catastrophic forgetting in SOPPaperPosterSlidesApp
ROScaling behavior of SOP to significantly larger robot fleetsPaperPosterSlidesApp
LGExtending two-part epiplexity results to generalized (regret-based) epiplexityPaperPosterSlidesApp
LGFormal epiplexity-emergence of Conway’s Game of LifePaperPosterSlidesApp
GNVerification of salary estimates in LinkedIn/Revelio dataPaperPosterSlidesApp
GNAttribution of post-ChatGPT state-level unemployment risk increasesPaperPosterSlidesApp
GNCausal effect of LLMs on labor-market outcomesPaperPosterSlidesApp
CVMulti-Agent Bound ConjecturePaperPosterSlidesApp
CVTracking Bound ConjecturePaperPosterSlidesApp
CVGödel-Landauer-Prigogine ConjecturePaperPosterSlidesApp
CLIntegrating unified memory management into a single agent without auxiliary expert modelsPaperPosterSlidesApp
LGTightness of padding bounds for transformer recognition of context-free languagesPaperPosterSlidesApp
AIFast-thinking bias in reasoning modelsPaperPosterSlidesApp
AINeurosymbolic processing in contemporary reasoning modelsPaperPosterSlidesApp
AIReliable Disagreement Resolution in Multi-Agent SystemsPaperPosterSlidesApp
AIStandardizing Evaluation Toolchains and Stability ReportingPaperPosterSlidesApp
AICoupling Planning with Tool-Grounded ChecksPaperPosterSlidesApp
AIReproducible Protocols for Agent Traces and Leakage-Robust EvaluationPaperPosterSlidesApp
AIAgent Memory: What to Store, How to Compress, and Prevent StalenessPaperPosterSlidesApp
AIVerifiable Tool Action in AI AgentsPaperPosterSlidesApp
AIBehavioral Fidelity of LLMs in Complex Decision‑Making EnvironmentsPaperPosterSlidesApp
AITranslating LLM Capabilities to Human‑Like Judgments and DecisionsPaperPosterSlidesApp
MEVerify DRIS performance under non-Gaussian elliptical nominal distributionsPaperPosterSlidesApp
AICross-lingual performance of the frameworkPaperPosterSlidesApp
AIExtension of benefits to complex logical structuresPaperPosterSlidesApp
LGMinimax optimal dynamic regret under time-varying arm setsPaperPosterSlidesApp
LGAdaptive weighted algorithm achieving optimal dynamic regret without prior knowledge of path length in non-stationary linear banditsPaperPosterSlidesApp
CLRobust and calibrated stop/continue criteria across retrievers, corpora, and LLM backbonesPaperPosterSlidesApp
LGScalability in Memory-Augmented LLMsPaperPosterSlidesApp
ROStrict safety guarantees for reinforcement learning implementationsPaperPosterSlidesApp
IRUnderstanding the rules governing LLM discovery responsesPaperPosterSlidesApp
AITransferability and harms of agent intergroup bias in real-world deploymentsPaperPosterSlidesApp
LGPersistence of the weight-activation gap at scale and across architecturesPaperPosterSlidesApp
CVExtending diffusion-based 2D morphing’s smooth and semantically coherent transformations to 3D contentPaperPosterSlidesApp
CVAchieving smooth, high-fidelity, temporally coherent 3D morphing within SLAT-based generative frameworksPaperPosterSlidesApp
CLProductionizing activation capping and exploring preventative training-time steeringPaperPosterSlidesApp
CLFeasibility of extracting copyrighted training data from production LLMsPaperPosterSlidesApp
HCValidity of LLM-simulated users as proxies for real usersPaperPosterSlidesApp
LGRobust, comprehensive evaluation for AI-driven kernel generationPaperPosterSlidesApp
IRCross-sensory combined EEG training effectiveness under data scarcityPaperPosterSlidesApp
CLPrincipled and reproducible evaluation frameworks for localization and explanation methodsPaperPosterSlidesApp
CVFundamental performance limit without modeling enumeration anomaliesPaperPosterSlidesApp
CLRelative importance of general reasoning versus coding specialization for SciCoQA discrepancy detectionPaperPosterSlidesApp
AIDisentangling context-length effects from theory-of-mind demands in CharToM-QAPaperPosterSlidesApp
AIEffectiveness and Auditability of Latent Agentic ReasoningPaperPosterSlidesApp
SDAssessing GSE performance for in-the-wild TTS dataset curationPaperPosterSlidesApp
AIQuantify the magnitude of knowledge-dependent overfitting on ARC-AGIPaperPosterSlidesApp
CVEffective prompting/formulation for baseline models on video spatio-temporal pointingPaperPosterSlidesApp
CLDiagnose post-training misalignment regression and cross-domain generalization gapsPaperPosterSlidesApp
CVPersistence of CLIMP advantages at large data and model scalesPaperPosterSlidesApp
CRUnresolved challenges in AI-driven cybersecurityPaperPosterSlidesApp
LGCircuit-specific impact of learnable multipliers on capabilitiesPaperPosterSlidesApp
CVSufficiency of low-resolution images for accurate visual localizationPaperPosterSlidesApp
CLEffective mitigation of benchmark data contaminationPaperPosterSlidesApp
LGUnclear transfer of observed generator-behavior trends beyond CIFAR-10 and classificationPaperPosterSlidesApp
AIStabilizing entropy-based regularization in RLVR trainingPaperPosterSlidesApp
ROEvaluation of Robo-Dopamine on RoboRewardBenchPaperPosterSlidesApp
RORobustness of general-purpose VLMs as robot reward modelsPaperPosterSlidesApp
CLEvaluating Business-Policy Adherence of Customer Support LLM AgentsPaperPosterSlidesApp
FLClosed-form expression for the Dirichlet-series function g(ξ,η) in the nonlinear adjoint solutionPaperPosterSlidesApp
FLClosed-form expressions for Libby–Fox eigenvalues and normsPaperPosterSlidesApp
FLBoundary behavior of D0 in the Falkner–Skan adjoint expansionPaperPosterSlidesApp
FLSelf-similarity of the nonlinear adjoint Blasius solution with an alternative similarity variablePaperPosterSlidesApp
FLTranslation of adjoint boundary conditions into modal conditionsPaperPosterSlidesApp
STDynamic origin of long-range concentration correlations in nonequilibrium diffusionPaperPosterSlidesApp
STLow-entropy geometry and its transfer to matterPaperPosterSlidesApp
STScale classification of Einstein’s field theoryPaperPosterSlidesApp
STGibbs phase rule for nonequilibrium steady statesPaperPosterSlidesApp
MTIdentify the local chiral analogue of the electric dipole in finite systemsPaperPosterSlidesApp
MTClarify lithium storage mechanisms in SnO2 nanocrystal–reduced graphene oxide composite anodesPaperPosterSlidesApp
PHPolynomial-time computability of the lattice theta functionPaperPosterSlidesApp
PHDiagrammatic proof of efficient contraction for general Hopf quadratic tensorsPaperPosterSlidesApp
PHExtend i-th order tensor characterization to non-diagonal Clifford hierarchy operatorsPaperPosterSlidesApp
CODetermine the cause of the DES Y6 lens bin 2 anomalyPaperPosterSlidesApp
EPIs WD 1856+534’s lack of pollution caused by planetary protection or coincidence?PaperPosterSlidesApp
PHSystematic Analytical Tools for Non-Classical Emergent Behaviors in Quantum NetworksPaperPosterSlidesApp
PEStabilizing interactions in assemblages with weak shared evolutionary historyPaperPosterSlidesApp
GADuration of the active phase in episodic radio galaxiesPaperPosterSlidesApp
QMGold stain compatibility with synchrotron XRM for ExXRMPaperPosterSlidesApp
QMCryogenic and radioprotective viability for synchrotron ExXRMPaperPosterSlidesApp
PHTighter sequential conjugate-coding POVM boundPaperPosterSlidesApp
PHSimulation security of Scheme II against BPPQNCd adversariesPaperPosterSlidesApp
PHDistributional VBB security with quantum auxiliary input for conjunction obfuscationPaperPosterSlidesApp
PLIntrinsic non-resonant error field (NREF) amplitude in SPARCPaperPosterSlidesApp
EPForcing mechanisms behind rapid late Cenozoic climate shiftsPaperPosterSlidesApp
EPTimescale of geomagnetic polarity reversalsPaperPosterSlidesApp
EPSize of nearby cold clouds controlling Sun–cloud crossing durationPaperPosterSlidesApp
EPOrigin of the Local Ribbon of Cold Clouds (LRCC)PaperPosterSlidesApp
EPMechanisms for delivery and heliospheric entry of supernova dustPaperPosterSlidesApp
EPInfluence of cold Jupiters on inner small planetsPaperPosterSlidesApp
EPFormation mechanisms and demographics of cold JupitersPaperPosterSlidesApp
AORole of stratospheric water vapor in long-term atmospheric chemistry and dynamicsPaperPosterSlidesApp
AOLink between Hadley circulation widening and cloud-area changesPaperPosterSlidesApp
NCDo deeper nonlinear decoders outperform the temporal-attention MLP on TVSD?PaperPosterSlidesApp
NCUncertain relationship between traumatic events and Creutzfeldt-Jakob diseasePaperPosterSlidesApp
NCUnclear etiology of sporadic Creutzfeldt-Jakob diseasePaperPosterSlidesApp
PHEmpirical status of Continuous Spontaneous Localization (CSL)PaperPosterSlidesApp
PHResolution of the quantum measurement problemPaperPosterSlidesApp
FLGenericity of alignment-induced self-regularization from the 4/5 lawPaperPosterSlidesApp
FLGeneric critical L3–Besov regularity of inviscid limitsPaperPosterSlidesApp
FLEnergy conservation at Onsager’s critical Besov regularityPaperPosterSlidesApp
EPDimensions of interstellar cold clouds encountered by the heliospherePaperPosterSlidesApp
EPDetectability of a 2–3 Mya interstellar cold cloud crossing in cosmogenic 10Be recordsPaperPosterSlidesApp
PHUV-complete theory for T^2 CPT-violating backgroundPaperPosterSlidesApp
PHEarly-universe CPT violation viabilityPaperPosterSlidesApp
SRAscertain the theoretical outcomes of stellar mergers and the properties of merger remnantsPaperPosterSlidesApp
SRDetermine how massive binaries shrink to very tight (≲ few au) separationsPaperPosterSlidesApp
SREstablish the mechanisms that harden massive multiple-star systems to tight separationsPaperPosterSlidesApp
SRDetermine how massive stars form and why they exhibit high multiplicityPaperPosterSlidesApp
EPAtmosphere retention of rocky planets around M dwarfsPaperPosterSlidesApp
PHPerformance of quantum versus dequantized algorithms on more complex material modelsPaperPosterSlidesApp
PHQuantifying error-correction overhead for long-time QENM simulationsPaperPosterSlidesApp
PHPractical applicability of the Babbush et al. coupled-oscillator algorithmPaperPosterSlidesApp
STEliminating set-theoretic assumptions in finitely additive necessity examplesPaperPosterSlidesApp
STMinimax risk nonattainment outside dominated settingsPaperPosterSlidesApp
PHHigh-confidence cooperativity estimation in presence of background for a thru devicePaperPosterSlidesApp
PHMechanism behind disappearance and reappearance of single-shot fluctuationsPaperPosterSlidesApp
PHCause of transient decay background after green repump pulsePaperPosterSlidesApp
PHOrigin of anomalously low SPCM detection efficiencyPaperPosterSlidesApp
SUOrigin of 4 µm transmission peak in 700 µm sapphire-sphere compositePaperPosterSlidesApp
MNDevelop predictive theoretical frameworks integrating regulatory links and gene expression dataPaperPosterSlidesApp
BIBiological consequences of condensate formationPaperPosterSlidesApp
BIPolymer conformational distributions within condensatesPaperPosterSlidesApp
BILiquid-like material state and phase-separation origin of cellular condensatesPaperPosterSlidesApp
BIApplicability of phase coexistence to small, out-of-equilibrium cellsPaperPosterSlidesApp
BISize threshold for emergent condensate propertiesPaperPosterSlidesApp
HEOrigin of the late-time double-peaked H and He emission in AT2024wppPaperPosterSlidesApp
HECan interaction alone explain AT2024wpp’s post-peak evolution?PaperPosterSlidesApp
GELink between ~6.0 Mb earthquakes and geomorphological transformations in the Tarauacá fault regionPaperPosterSlidesApp
GEAssess benefit of multiple-source modeling aligned with the Tarauacá faultPaperPosterSlidesApp
PHOptimal mode determining Sl± monotones in multi‑mode Gaussian statesPaperPosterSlidesApp
PHExact characterization of the gap between thermal operations and enhanced thermal operationsPaperPosterSlidesApp
PHOptimize hardware designs of superconducting erasure qubitsPaperPosterSlidesApp
PHIdentify which outer codes benefit most from erasure-based error correctionPaperPosterSlidesApp
PHExistence of non-ergodic many-body states in dimensions greater than onePaperPosterSlidesApp
PSDistinguishing abiotic from biological pattern formation in geologyPaperPosterSlidesApp
PSOrigin mechanisms of ambient inclusion trails (AITs)PaperPosterSlidesApp
PSBiological role in geyserite formationPaperPosterSlidesApp
PSFormation pathways of ooidsPaperPosterSlidesApp
PSOccurrence of laboratory self-organized chemical systems in natural geological settingsPaperPosterSlidesApp
PSPreservation potential of carbon–sulfur biomorphs in the geological recordPaperPosterSlidesApp
PSFormation mechanism of micrometric helices in agate and chalcedonyPaperPosterSlidesApp
PSRelative biotic versus abiotic contributions in rock varnish formationPaperPosterSlidesApp
PSFormation mechanism of rock varnishPaperPosterSlidesApp
PSMechanism maintaining polymetallic nodules at the sediment surfacePaperPosterSlidesApp
PSOrigin of deep-ocean polymetallic nodulesPaperPosterSlidesApp
PSBiogenic influence on geological dendritesPaperPosterSlidesApp
PSStructural adaptation of halloysite to spheroidal morphologyPaperPosterSlidesApp
STAssumptions for actual causality in counterfactual causal spacesPaperPosterSlidesApp