{"total":60,"rows":[{"id":"2405.14860","title":"Not All Language Model Features Are One-Dimensionally Linear","created":"2024-05-23","cited_by_count":212,"area":null},{"id":"2411.12990","title":"BetterBench: Assessing AI Benchmarks, Uncovering Issues, and Establishing Best Practices","created":"2024-11-20","cited_by_count":114,"area":null},{"id":"2407.15017","title":"Knowledge Mechanisms in Large Language Models: A Survey and Perspective","created":"2024-07-22","cited_by_count":51,"area":null},{"id":"2501.10114","title":"Infrastructure for AI Agents","created":"2025-01-17","cited_by_count":41,"area":null},{"id":"2407.18369","title":"AI Safety in Generative AI Large Language Models: A Survey","created":"2024-07-06","cited_by_count":33,"area":null},{"id":"2405.15454","title":"LiSeCo: Linear Semantic Control for Language Generation","created":"2024-05-24","cited_by_count":20,"area":null},{"id":"2410.18819","title":"From Imitation to Introspection: Probing Self-Consciousness in Language Models","created":"2024-10-24","cited_by_count":14,"area":null},{"id":"2408.05284","title":"Can a Bayesian Oracle Prevent Harm from an Agent?","created":"2024-08-09","cited_by_count":13,"area":null},{"id":"2411.02478","title":"Imagining and building wise machines: The centrality of AI metacognition","created":"2024-11-04","cited_by_count":12,"area":null},{"id":"2410.16665","title":"SafetyAnalyst: Interpretable, Transparent, and Steerable Safety Moderation for AI Behavior","created":"2024-10-22","cited_by_count":10,"area":null},{"id":"2506.20702","title":"The Singapore Consensus on Global AI Safety Research Priorities","created":"2025-06-25","cited_by_count":10,"area":null},{"id":"2502.06656","title":"A Frontier AI Risk Management Framework: Bridging the Gap Between Current AI Practices and Established Risk Management","created":"2025-02-10","cited_by_count":8,"area":null},{"id":"2506.17434","title":"Resource Rational Contractualism Should Guide AI Alignment","created":"2025-06-20","cited_by_count":8,"area":null},{"id":"2501.18426","title":"Guaranteed prediction sets for functional surrogate models","created":"2025-01-30","cited_by_count":7,"area":null},{"id":"2502.14445","title":"PredictaBoard: Benchmarking LLM Score Predictability","created":"2025-02-20","cited_by_count":7,"area":null},{"id":"2510.06296","title":"VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code","created":"2025-10-07","cited_by_count":7,"area":null},{"id":"2507.15851","title":"The Other Mind: How Language Models Exhibit Human Temporal Cognition","created":"2025-07-21","cited_by_count":5,"area":null},{"id":"2605.10310","title":"Positive Alignment: Artificial Intelligence for Human Flourishing","created":"2026-05-11","cited_by_count":5,"area":null},{"id":"2406.00826","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","created":"2024-06-02","cited_by_count":4,"area":null},{"id":"2407.12999","title":"Securing the Future of GenAI: Policy and Technology","created":"2024-05-21","cited_by_count":4,"area":null},{"id":"2410.08255","title":"Investigating Representation Universality: Case Study on Genealogical Representations","created":"2024-10-10","cited_by_count":4,"area":null},{"id":"2502.03467","title":"Where AI Assurance Might Go Wrong: Initial lessons from engineering of critical systems","created":"2025-01-07","cited_by_count":4,"area":null},{"id":"2505.15811","title":"On the creation of narrow AI: hierarchy and nonlocality of neural network skills","created":"2025-05-21","cited_by_count":4,"area":null},{"id":"2604.27292","title":"The Two Boundaries: Why Behavioral AI Governance Fails Structurally","created":"2026-04-30","cited_by_count":4,"area":null},{"id":"2506.02923","title":"The Limits of Predicting Agents from Behaviour","created":"2025-06-03","cited_by_count":3,"area":null},{"id":"2506.17846","title":"Out of Control -- Why Alignment Needs Formal Control Theory (and an Alignment Control Stack)","created":"2025-06-21","cited_by_count":3,"area":null},{"id":"2507.03525","title":"Limits of Safe AI Deployment: Differentiating Oversight and Control","created":"2025-07-04","cited_by_count":3,"area":null},{"id":"2501.10476","title":"Revisiting Rogers' Paradox in the Context of Human-AI Interaction","created":"2025-01-16","cited_by_count":2,"area":null},{"id":"2505.02313","title":"What Is AI Safety? What Do We Want It to Be?","created":"2025-05-05","cited_by_count":2,"area":null},{"id":"2511.11816","title":"Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy","created":"2025-11-14","cited_by_count":2,"area":null},{"id":"2410.18114","title":"Bridging Today and the Future of Humanity: AI Safety in 2024 and Beyond","created":"2024-10-09","cited_by_count":1,"area":null},{"id":"2412.15433","title":"Quantifying detection rates for dangerous capabilities: a theoretical model of dangerous capability evaluations","created":"2024-12-19","cited_by_count":1,"area":null},{"id":"2505.14689","title":"Follow the STARs: Dynamic $\\omega$-Regular Shielding of Learned Policies","created":"2025-04-11","cited_by_count":1,"area":null},{"id":"2506.16971","title":"Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)","created":"2025-06-20","cited_by_count":1,"area":null},{"id":"2601.22356","title":"PoSafeNet: Safe Learning with Poset-Structured Neural Nets","created":"2026-01-29","cited_by_count":1,"area":null},{"id":"2603.08760","title":"Clear, Compelling Arguments: Rethinking the Foundations of Frontier AI Safety Cases","created":"2026-03-08","cited_by_count":1,"area":null},{"id":"2603.12183","title":"Proof-Carrying Materials: Falsifiable Safety Certificates for Machine-Learned Interatomic Potentials","created":"2026-03-12","cited_by_count":1,"area":null},{"id":"2604.13609","title":"Golden Handcuffs make safer AI agents","created":"2026-04-15","cited_by_count":1,"area":null},{"id":"2605.01030","title":"Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries","created":"2026-05-01","cited_by_count":1,"area":null},{"id":"2605.01032","title":"Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries","created":"2026-05-01","cited_by_count":1,"area":null},{"id":"2606.02837","title":"Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling","created":"2026-06-01","cited_by_count":1,"area":null},{"id":"2609.00092","title":"Safin-1: Safety from Within through Memory-Native State Evolution","created":"2026-08-31","cited_by_count":1,"area":null},{"id":"2407.11001","title":"Generative AI Systems: A Systems-based Perspective on Generative AI","created":"2024-06-25","cited_by_count":0,"area":null},{"id":"2407.11360","title":"Thorns and Algorithms: Navigating Generative AI Challenges Inspired by Giraffes and Acacias","created":"2024-07-16","cited_by_count":0,"area":null},{"id":"2412.16238","title":"Algebraic Evaluation Theorems","created":"2024-12-19","cited_by_count":0,"area":null},{"id":"2503.00563","title":"A Guide to Failure in Machine Learning: Reliability and Robustness from Foundations to Practice","created":"2025-03-01","cited_by_count":0,"area":null},{"id":"2505.20110","title":"Beyond the Proxy: Trajectory-Distilled Guidance for Offline GFlowNet Training","created":"2025-05-26","cited_by_count":0,"area":null},{"id":"2506.05171","title":"Towards provable probabilistic safety for scalable embodied AI systems","created":"2025-06-05","cited_by_count":0,"area":null},{"id":"2506.22492","title":"Report on NSF Workshop on Science of Safe AI","created":"2025-06-24","cited_by_count":0,"area":null},{"id":"2602.12851","title":"Chimera: Neuro-Symbolic Attention Primitives for Trustworthy Dataplane Intelligence","created":"2026-02-13","cited_by_count":0,"area":null},{"id":"2602.17676","title":"Epistemic Traps: Rational Misalignment Driven by Model Misspecification","created":"2026-01-27","cited_by_count":0,"area":null},{"id":"2603.25531","title":"Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems","created":"2026-03-26","cited_by_count":0,"area":null},{"id":"2605.12963","title":"Sustaining AI safety: Control-theoretic external impossibility, intrinsic necessity, and structural requirements","created":"2026-05-13","cited_by_count":0,"area":null},{"id":"2605.26940","title":"Accountable Human-AI Deliberation with LLMs: Scaling Collective Intelligence through Symbiotic Scaffolding","created":"2026-05-26","cited_by_count":0,"area":null},{"id":"2606.01008","title":"FVSpec: Real-World Property-Based Tests as Lean Challenges","created":"2026-05-31","cited_by_count":0,"area":null},{"id":"2607.16224","title":"International Agreements to Limit Frontier AI: Objectives and Exit","created":"2026-06-19","cited_by_count":0,"area":null},{"id":"2607.28954","title":"Mining Verdict Boundaries for Neural Network Verification","created":"2026-07-31","cited_by_count":0,"area":null},{"id":"2609.07627","title":"Norms at a Price: Why RL-Based Alignment Can Promise Conditional Compliance at Best","created":"2026-09-07","cited_by_count":0,"area":null},{"id":"2610.10285","title":"AI Safety Considerations for Agents With Limited Time to Act","created":"2026-10-07","cited_by_count":0,"area":null},{"id":"2610.12030","title":"Natural Language to First-Order Logic LLM-based Autoformalization","created":"2026-10-08","cited_by_count":0,"area":null}],"next_cursor":null}