The DOI matches its Crossref record; 13 of the 13 references it cites were found in a registry or an index.
Strips: A new approach to the application of theorem proving to problem solving
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
In the citing paper
“Related to program synthesis are the fields of automated theorem proving (Loveland, 2016) and automated planning (Ghallab et al., 2004).Both areas study methods for efficient automated reasoning over formal models, with the former focused on reasoning over mathematical theories and program logics, and with the latter, by analogy (Fikes & Nilsson, 1971), focused on reasoning over theories of”
From Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems (2024) · cites this paper as Fikes & Nilsson, 1971
In the citing paper
“The factored form subsumes STRIPS operators, where the add and delete lists are the difference between an object before and after, with conditional effects organized by type rather than enumerated [Fikes and Nilsson, 1971, Pednault, 1989, McDermott et al., 1998].”
From OPINE-World: Programmatic World Modeling with Ontology-error-Prioritized Interactive Exploration for ARC-AGI-3 (2026) · cites this paper as Fikes and Nilsson, 1971
In the citing paper
“Regression planning presupposes a goal written as a conjunction of facts with operators that declare which facts they add and delete, the STRIPS form [Fikes and Nilsson, 1971].”
From OPINE-World: Programmatic World Modeling with Ontology-error-Prioritized Interactive Exploration for ARC-AGI-3 (2026) · cites this paper as Fikes and Nilsson, 1971
Citations
Cites
(1997) · Naming the Mind: How Psychology Found its Language · doi:10.4135/9781446221815.n7 · Cited by 15,148
Some Philosophical Problems from the Standpoint of Artificial Intelligence
McCarthy, J., & Hayes, P. J. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50033-7 · Cited by 3,296
Problem-Solving Methods in Artificial Intelligence
Nilsson, N. J. (1971) · CERN Document Server (European Organization for Nuclear Research) · Cited by 1,607
Self-citationGPS : a case study in generality and problem solving
Ernst, G. W., & Newell, A. (1969) · Cited by 503
Green, C. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50019-2 · Cited by 459
Application of Theorem Proving to Problem Solving
Green, C. (1969) · doi:10.21236/ada459656 · Cited by 290
Toward automatic program synthesis
Manna, Z., & Waldinger, R. J. (1971) · Communications of the ACM · doi:10.1145/362566.362568 · Cited by 285
PROW: a step toward automatic program writing
Waldinger, R. J., & Lee, R. C. T. (1969) · International Joint Conference on Artificial Intelligence · Cited by 114
Extracting information from resolution proof trees
Luckham, D. C., & Nilsson, N. J. (1971) · Artificial Intelligence · doi:10.1016/0004-3702(71)90003-8 · Cited by 61
Self-citationMonitored Execution of Robot Plans Produced by Strips
Fikes, R. E. (1971) · doi:10.21236/ada459662 · Cited by 57
Self-citation
Research works printed but not linked: 1
- Garvey, 1969, User's guide to QA3.5 Question-Answering System, Stanford Research Institute Artifical Intelligence Group Technical Note 15
Cited by
Sorted by citations
Items 801–900 of 1,011
Extracting Action and Event Semantics from Web Text
Sil, A., Huang, F., & Yates, A. (2010) · Cited by 36
Online planning for resource production in real-time strategy games
Chan, H., Fern, A., Ray, S., Wilson, N., & Ventura, C. (2007) · Cited by 36
Why You Should Buy an Emotional Planner
Gratch, J. S. (1999) · Cited by 36
FLECS: Planning with a Flexible Commitment Strategy
Veloso, M., & Stone, P. (1995) · Journal of Artificial Intelligence Research · doi:10.1613/jair.131 · Cited by 36
Task frames in robot manipulation
Ballard, D. H. (1984) · Cited by 36
The Interaction Between Knowledge and Practice in the Acquisition of Cognitive Skills
Ohlsson, S. (1993) · Springer eBooks · doi:10.1007/978-1-4615-3172-2_5 · Cited by 34
The computational complexity of agent design problems
Wooldridge, M. (2002) · International Conference on Multi Agent Systems · doi:10.1109/icmas.2000.858472 · Cited by 36
An Agent-Based Model for the Development of Intelligent Mobile Services
Koch, F. L. (2009) · Utrecht University Repository (Utrecht University) · Cited by 36
A representation of action and belief for automatic planning systems
Drummond, M. (1987) · Elsevier eBooks · doi:10.1016/b978-0-934613-30-9.50011-1 · Cited by 36
The ADAM design planning engine
Knapp, D. W., & Parker, A. C. (1991) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · doi:10.1109/43.87595 · Cited by 36
Incremental learning of control knowledge for nonlinear problem solving
Borrajo, D., & Veloso, M. (1994) · Lecture notes in computer science · doi:10.1007/3-540-57868-4_51 · Cited by 35
Automatic high-level motion sequencing methods for enabling multi-tasking construction robots
Wang, X., Wang, S., Menassa, C. C., Kamat, V. R., & McGee, W. (2023) · Automation in Construction · doi:10.1016/j.autcon.2023.105071 · Cited by 35
Beyond Preferences in AI Alignment
Zhi‐Xuan, T., Carroll, M., Franklin, M., & Ashton, H. (2024) · Philosophical Studies · doi:10.1007/s11098-024-02249-w · Cited by 82
Automatic Game Design via Mechanic Generation
Zook, A., & Riedl, M. O. (2014) · AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI)) · doi:10.1609/aaai.v28i1.8788 · Cited by 21
Modeling culture in intelligent virtual agents
Mascarenhas, S. F., Degens, N., Paiva, A., Prada, R., Hofstede, G. J., Beulens, A., & Aylett, R. S. (2015) · Autonomous Agents and Multi-Agent Systems · doi:10.1007/s10458-015-9312-6 · Cited by 35
FLoReS: A Forward Looking, Reward Seeking, Dialogue Manager
Morbini, F., DeVault, D., Sagae, K., Gerten, J., Nazarian, A., & Traum, D. R. (2013) · Springer eBooks · doi:10.1007/978-1-4614-8280-2_28 · Cited by 35
Conceptual representations of actions for autonomous robots
Chella, A., Gaglio, S., & Pirrone, R. (2001) · Robotics and Autonomous Systems · doi:10.1016/s0921-8890(00)00121-4 · Cited by 35
Marvin: A Heuristic Search Planner with Online Macro-Action Learning
Coles, A. I., & Smith, A. J. (2007) · Journal of Artificial Intelligence Research · doi:10.1613/jair.2077 · Cited by 35
Domain-independent planning for services in uncertain and dynamic environments
Kaldeli, E., Lazovik, A., & Aiello, M. (2016) · Artificial Intelligence · doi:10.1016/j.artint.2016.03.002 · Cited by 35
Learning HTN method preconditions and action models from partial observations
Zhuo, H. H., Hu, D. H., Hogg, C., Yang, Q., & Muñoz‐Avila, H. (2009) · Rare & Special e-Zone (The Hong Kong University of Science and Technology) · Cited by 35
Unified Theories of Cognition and the Role of Soar
Newell, A. (1992) · Studies in Cognitive Systems · doi:10.1007/978-94-011-2426-3_3 · Cited by 35
Knowledge Equivalence in Combined Action Theories.
Petrick, R. P. A., & Levesque, H. J. (2002) · Edinburgh Research Explorer (University of Edinburgh) · Cited by 35
Universal classical planner: an algorithm for unifying state-space and plan-space planning
Subbarao Kambhampati, B., & Srivastava, B. (1996) · Cited by 35
Searching for planning operators with context-dependent and probabilistic effects
Oates, T., & Cohen, P. R. (1996) · Cited by 35
A reactive robot architecture with planning on demand
Ranganathan, A., & Koenig, S. (2004) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2003.1248850 · Cited by 35
Detecting and Responding to Plan-Oriented Misconceptions
Quilici, A. (1989) · Springer eBooks · doi:10.1007/978-3-642-83230-7_5 · Cited by 35
RECOGNIZING AND RESPONDING TO PLAN-ORIENTED MISCONCEPTIONS
Quilici, A., Dyer, M. G., & Flowers, M. (1989) · Cited by 35
Representation and recognition of action in interactive spaces
Bobick, A., & Pinhanez, C. S. (1999) · Cited by 35
Integrated Workflow Planning and Coordination
Schuschel, H., & Weske, M. (2003) · Lecture notes in computer science · doi:10.1007/978-3-540-45227-0_75 · Cited by 34
Kim, K.-Y. J., & Kim, Y. S. (2011) · Computer-Aided Design · doi:10.1016/j.cad.2011.05.005 · Cited by 34
Legat, C., & Vogel‐Heuser, B. (2017) · Engineering Applications of Artificial Intelligence · doi:10.1016/j.engappai.2017.06.014 · Cited by 34
Toward Affordance Detection and Ranking on Novel Objects for Real-World Robotic Manipulation
Chu, F.-J., Xu, R., Seguin, L., & Vela, P. A. (2019) · IEEE Robotics and Automation Letters · doi:10.1109/lra.2019.2930364 · Cited by 34
Towards a Unified View of AI Planning and Reactive Synthesis
Camacho, A., Bienvenu, M., & McIlraith, S. A. (2019) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v29i1.3460 · Cited by 34
Eppe, M., Nguyen, P. D. H., & Wermter, S. (2019) · Frontiers in Robotics and AI · doi:10.3389/frobt.2019.00123 · Cited by 37
Asai, M., & Muise, C. J. (2020) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2020/371 · Cited by 43
Transferable Task Execution from Pixels through Deep Planning Domain Learning
Kase, K., Paxton, C., Mazhar, H., Ogata, T., & Fox, D. (2020) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/icra40945.2020.9196597 · Cited by 34
A Formal Model for Business Process Modeling and Design
Koubarakis, M., & Plexousakis, D. (2000) · Notes on numerical fluid mechanics and multidisciplinary design · doi:10.1007/3-540-45140-4_11 · Cited by 34
The perception loop in CiceRobot, a museum guide robot
Chella, A., & Macaluso, I. (2008) · Neurocomputing · doi:10.1016/j.neucom.2008.07.011 · Cited by 37
Planning of proactive behaviors for human–robot cooperative tasks under uncertainty
Kwon, W. Y., & Suh, I. H. (2014) · Knowledge-Based Systems · doi:10.1016/j.knosys.2014.08.021 · Cited by 34
A framework for learning from demonstration, generalization and practice in human-robot domains
Matarić, M. J., & Nicolescu, M. N. (2003) · Cited by 34
Self-monitoring in speech production: effects of verbal hallucinations and negative symptoms
Leudar, I., Thomas, P., & Johnston, M. (1994) · Psychological Medicine · doi:10.1017/s0033291700027902 · Cited by 34
Robot planning, execution, and monitoring in an uncertain environment
Munson, J. H. (1971) · International Joint Conference on Artificial Intelligence · Cited by 34
Dynamics and Automaticity of Context: A Cognitive Modeling Approach
Kokinov, B. N. (1999) · Lecture notes in computer science · doi:10.1007/3-540-48315-2_16 · Cited by 35
Storing and Indexing Plan Derivations through Explanation-based Analysis of Retrieval Failures
Ihrig, L. H., & Subbarao Kambhampati, B. (1997) · Journal of Artificial Intelligence Research · doi:10.1613/jair.424 · Cited by 34
BONCZEK, R. H., Holsapple, C. W., & Whinston, A. B. (1981) · Elsevier eBooks · doi:10.1016/b978-0-12-113050-3.50010-5 · Cited by 34
Robot tracking and control issues in an intelligent error recovery system
Smith, R. E., & Gini, M. L. (1986) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.1986.1087619 · Cited by 34
Mobile Robot Path Planning in Static Environments using Particle Swarm OptimizationPreprint
Alam, M. S., Rafique, M. U., & Khan, M. U. (2020) · arXiv (Cornell University) · doi:10.48550/arxiv.2008.10000 · Cited by 38
DoReMi: Grounding Language Model by Detecting and Recovering from Plan-Execution Misalignment
Guo, Y., Wang, Y.-J., Zha, L.-H., Jiang, Z., & Chen, J. (2023) · IEEE/RJS International Conference on Intelligent RObots and Systems · doi:10.1109/iros58592.2024.10802284 · Cited by 118
A system for generating storyline visualizations using hierarchical task network planning
Padia, K., Bandara, K. H., & Healey, C. G. (2018) · Computers & Graphics · doi:10.1016/j.cag.2018.11.004 · Cited by 33
Lifted Successor Generation Using Query Optimization Techniques
Corrêa, A. B., Pommerening, F., Helmert, M., & Francés, G. M. (2020) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v30i1.6648 · Cited by 33
A Survey of Planning and Learning in Games
Duarte, F. F., Lau, N., Pereira, A., & Reis, L. P. (2020) · Applied Sciences · doi:10.3390/app10134529 · Cited by 35
Learning from Demonstration and Case-Based Planning for Real-Time Strategy Games
Ontañón, S., Mishra, K., Sugandh, N., & Ram, A. (2008) · Soft Computing Applications in Industry · doi:10.1007/978-3-540-77465-5_15 · Cited by 44
AI Reasoning Methods for Robotics
Beetz, M., Chatila, R., Hertzberg, J., & Pecora, F. (2016) · Springer handbooks · doi:10.1007/978-3-319-32552-1_14 · Cited by 33
Primary and secondary diagnosis of multi-agent plan execution
de Jonge, F., Roos, N., & Witteveen, C. (2008) · Autonomous Agents and Multi-Agent Systems · doi:10.1007/s10458-008-9045-x · Cited by 33
Gribovskaya, E., & Billard, A. (2009) · IEEE-RAS International Conference on Humanoid Robots (Humanoids) · doi:10.1109/ichr.2009.5379536 · Cited by 33
Automatic Generation of Game Level Solutions as Storyboards
Pizzi, D., Lugrin, J.-L., Whittaker, A., & Cavazza, M. (2010) · IEEE Transactions on Computational Intelligence and AI in Games · doi:10.1109/tciaig.2010.2070066 · Cited by 33
Knowledge Representation and Classical Logic
Lifschitz, V. (2008) · Cited by 33
Learning from Human Demonstrations for Real-Time Case-Based Planning
Onta, S. (2009) · Cited by 33
Computing change and specificity with equational logic programs
H�lldobler, S., & Thielscher, M. (1995) · Annals of Mathematics and Artificial Intelligence · doi:10.1007/bf01530895 · Cited by 33
GoalMorph: Partial Goal Satisfaction for Flexible Service Composition
Vuković, M., & Robinson, P. (2006) · International Conference on Next Generation Web Services Practices · doi:10.1109/nwesp.2005.44 · Cited by 33
Plan creation, plan execution and knowledge acquisition in a dynamic microworld
McCalla, G. I., Reid, L., & Schneider, P. F. (1982) · International Journal of Man-Machine Studies · doi:10.1016/s0020-7373(82)80073-4 · Cited by 33
The use of Artificial Intelligence techniques in Computer-Assisted Instruction: an overview
Gable, A., & Page, C. V. (1980) · International Journal of Man-Machine Studies · doi:10.1016/s0020-7373(80)80028-9 · Cited by 33
An Approach to Rough Terrain Autonomous Mobility
Kelly, A., & Stentz, A. (1997) · Cited by 33
On the behavior-based architectures of autonomous agency
Mali, A. D. (2002) · IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews) · doi:10.1109/tsmcc.2002.804445 · Cited by 33
Derivational Analogy in PRODIGY: Automating Case Acquisition, Storage, and Utilization
Veloso, M., & Carbonell, J. (1993) · Springer eBooks · doi:10.1007/978-1-4615-3228-6_3 · Cited by 33
Learning Hierarchical Performance Knowledge by Observation
van Lent, M., & Laird, J. E. (1999) · Cited by 33
Automatic planning and flexible scheduling: A knowledge-based approach
Shaw, M. J., & Whinston, A. B. (2005) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.1985.1087371 · Cited by 33
A distributed control architecture for an autonomous mobile robot
Elfes, A. (1986) · Artificial Intelligence in Engineering · doi:10.1016/0954-1810(86)90054-3 · Cited by 34
What is planning development the development of?
Pea, R. D. (1982) · New Directions for Child and Adolescent Development · doi:10.1002/cd.23219821803 · Cited by 33
An algorithm for plan recognition in collaborative discourse
Lochbaum, K. E. (1991) · Proceedings of the conference - Association for Computational Linguistics. Meeting · doi:10.3115/981344.981349 · Cited by 33
Robotic playing for hierarchical complex skill learning
Hangl, S., Uğur, E., Szedmák, S., & Piater, J. (2016) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2016.7759434 · Cited by 32
Goal-directed robot manipulation through axiomatic scene estimation
Sui, Z., Xiang, L., Jenkins, O. C., & Desingh, K. (2017) · The International Journal of Robotics Research · doi:10.1177/0278364916683444 · Cited by 32
A Relational Approach to Tool-Use Learning in Robots
Brown, S., & Sammut, C. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-38812-5_1 · Cited by 32
Combining Domain-Independent Planning and HTN Planning: The Duet Planner
Gerevini, A., Kuter, U., Nau, D. S., Saetti, A., & Waisbrot, N. (2008) · Frontiers in artificial intelligence and applications · doi:10.3233/978-1-58603-891-5-573 · Cited by 32
Conformant plans and beyond: Principles and complexity
Bonet, B. (2009) · Artificial Intelligence · doi:10.1016/j.artint.2009.11.001 · Cited by 32
The Role of Macros in Tractable Planning
Jönsson, A. (2009) · Journal of Artificial Intelligence Research · doi:10.1613/jair.2891 · Cited by 32
Learning planning operators in real-world, partially observable environments
Schmill, M. D., Oates, T., & Cohen, P. R. (2000) · Cited by 32
Efficient, Safe, and Probably Approximately Complete Learning of Action Models
Stern, R., & Juba, B. (2017) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2017/615 · Cited by 32
Time-Dependent Concepts: Representation and Reasoning Using Temporal Description Logics
Bettini, C. (1997) · Data & Knowledge Engineering · doi:10.1016/s0169-023x(96)00036-5 · Cited by 40
Formalism for Construction Inspection Planning: Requirements and Process Concept
Gordon, C., Akinci, B., & Garrett, J. H. (2006) · Journal of Computing in Civil Engineering · doi:10.1061/(asce)0887-3801(2007)21:1(29 · Cited by 32
Proof Development with Ωmega: The Irrationality of $$\sqrt 2$$
Siekmann, J. H., Benzmüller, C., Fiedler, A., Meier, A., Normann, I., & Pollet, M. (2003) · Applied logic series · doi:10.1007/978-94-017-0253-9_11 · Cited by 32
Planning while learning operators
Wang, X. (1996) · Cited by 32
An Analysis of Initiative Selection in Collaborative Task-Oriented Discourse
Guinn, C. I. (1998) · User Modeling and User-Adapted Interaction · doi:10.1023/a:1008359330641 · Cited by 33
Abduction to plausible causes: an event-based model of belief update
Boutilier, C. E. (1996) · Artificial Intelligence · doi:10.1016/0004-3702(94)00097-2 · Cited by 32
Planning as incremental adaptation of a reactive system
Lyons, D. M., & Hendriks, A. J. (1995) · Robotics and Autonomous Systems · doi:10.1016/0921-8890(94)00033-x · Cited by 32
Plan Merging in Multi-Agent Systems
Weerdt, M. M. D. (2003) · Cited by 32
Edelkamp, S. (2003) · Lecture notes in computer science · doi:10.1007/3-540-44829-2_13 · Cited by 32
Near-Optimal Plans, Tractability, and Reactivity
Selman, B. (1994) · Principles of Knowledge Representation and Reasoning · doi:10.1016/b978-1-4832-1452-8.50143-3 · Cited by 32
CHICA, An Abductive Planning System Based on Event Calculus
Missiaen, L., Bruynooghe, M., & Denecker, M. (1995) · Journal of Logic and Computation · doi:10.1093/logcom/5.5.579 · Cited by 32
Nareyek, A. (2001) · Lecture notes in computer science · doi:10.1007/3-540-45746-1 · Cited by 32
Ima: the intelligent machine architecture
Pack, R. T., & Kawamura, K. (1998) · Cited by 32
Robotics and Artificial Intelligence
Ghallab, M., & Ingrand, F. (2020) · Springer eBooks · doi:10.1007/978-3-030-06170-8_12 · Cited by 32
Toward Scaling Up Machine Learning: A Case Study with Derivational Analogy in PRODIGY
Veloso, M., & Carbonell, J. (1993) · Elsevier eBooks · doi:10.1016/b978-1-4832-0774-2.50013-5 · Cited by 31
Towards Believable Crowds : A Generic Multi-Level Framework for Agent Navigation
van Toll, W., Jaklin, N., & Gerærts, R. (2015) · Utrecht University Repository (Utrecht University) · Cited by 31
Distributed Reasoning for Multiagent Simple Temporal Problems
Boerkoel, J. C., & Durfee, E. H. (2013) · Journal of Artificial Intelligence Research · doi:10.1613/jair.3840 · Cited by 31
Toward a Perception-Based Theory of Probabilistic Reasoning with Imprecise Probabilities
Zadeh, L. A. (2002) · Advances in intelligent and soft computing · doi:10.1007/978-3-7908-1773-7_2 · Cited by 31
How Open Source Machine Learning Software Shapes AI
Langenkamp, M., & Yue, D. N. (2022) · Proceedings of the AAAI/ACM Conference on AI Ethics and Society · doi:10.1145/3514094.3534167 · Cited by 44
Erdem, E., Patoğlu, V., & Schüller, P. (2016) · AI Communications · doi:10.3233/aic-150697 · Cited by 31
Stochastic relational processes: Efficient inference and applications
Thon, I., Landwehr, N., & Raedt, L. D. (2010) · Machine Learning · doi:10.1007/s10994-010-5213-8 · Cited by 31
Zhao, X. Y., & Son, Y. (2008) · International Journal of Modelling and Simulation · doi:10.1080/02286203.2008.11442487 · Cited by 31
Metadata
- Authors
- Fikes, R. E., & Nilsson, N. J.
- Affiliations
- SRI International (US)
- Venue
- Artificial Intelligence
- Publisher
- Elsevier BV
- Published
- 1971-12
- Volume
- 2
- Issue
- 3-4
- Pages
- 189-208
- ISSN
- 0004-3702 (ISSN-L)
- OpenAlex
- W2337392266
- Cited by
- 4,882
- References
- 13
- Citations by year
- 2026: 53 · 2025: 86 · 2024: 71 · 2023: 94 · 2022: 132 · 2021: 135 · 2020: 138 · 2019: 112 · 2018: 169 · 2017: 133 · 2016: 114 · 2015: 128 · 2014: 165 · 2013: 159 · 2012: 157
- FWCI
- 16.74
- Type
- journal article
- Language
- en
- Open access
- closed
- Locations
- Artificial Intelligence (publishedVersion)
- American Association for Artificial Intelligence eBooks
- International Joint Conference on Artificial Intelligence
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › AI-based Problem Solving and Planning
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Physical Sciences › Computer Science › Artificial Intelligence › Constraint Satisfaction and Optimization
- Keywords
- STRIPS, problem solving, theorem proving, means-ends analysis, world models, first-order logic, operator sequences, goal satisfaction
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
