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 501–600 of 1,011
Plan coordination by revision in collective agent based systems
Tonino, H., Bos, A., Weerdt, M. M. D., & Witteveen, C. (2002) · Artificial Intelligence · doi:10.1016/s0004-3702(02)00273-4 · Cited by 65
Goal creation in motivated agents
Norman, T. J., & Long, D. P. (1995) · Lecture notes in computer science · doi:10.1007/3-540-58855-8_18 · Cited by 65
Artificial Intelligence Techniques for Generating Construction Project Plans
Levitt, R. E., Kartam, N., & Kunz, J. (1988) · Journal of Construction Engineering and Management · doi:10.1061/(asce)0733-9364(1988)114:3(329 · Cited by 65
The Use of Explicit User Models in Text Generation: Tailoring to a User's Level of Expertise
Paris, C. L. (1987) · doi:10.7916/d8474jzc · Cited by 65
A Theoretical and Empirical Analysis of Approximation in Symbolic Problem Solving
Groot, P. C. (2004) · Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam) · Cited by 65
Implementing Industrial Multi-agent Systems Using JACKTM
Evertsz, R., Fletcher, M., Jones, R., Jarvis, J., Brusey, J., & Dance, S. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-25936-7_2 · Cited by 64
Learning planning rules in noisy stochastic worlds
Zettlemoyer, L., Pasula, H., & Kaelbling, L. P. (2005) · Cited by 64
Assembly and task planning: a taxonomy
Gottschlich, S. N., Ramos, C. A., & Lyons, D. M. (1994) · IEEE Robotics & Automation Magazine · doi:10.1109/100.326723 · Cited by 64
Ambite, J. L., & Knoblock, C. A. (2001) · Journal of Artificial Intelligence Research · doi:10.1613/jair.754 · Cited by 64
Identifying terrorist activity with AI plan recognition technology
Jarvis, P. A., Lunt, T. F., & Myers, K. L. (2004) · doi:10.1609/aimag.v26i3.1827 · Cited by 64
Acquiring domain knowledge for planning by experimentation
Gil, Y. (1992) · Defense Technical Information Center (DTIC) · Cited by 64
What's wrong with story grammars
Garnham, A. (1983) · Cognition · doi:10.1016/0010-0277(83)90037-9 · Cited by 64
How to clear a block: A theory of plans
Manna, Z., & Waldinger, R. J. (1987) · Journal of Automated Reasoning · doi:10.1007/bf00247434 · Cited by 64
A Commitment‐Based Framework for Describing Informal Cooperative Work*
Fikes, R. E. (1982) · Cognitive Science · doi:10.1016/s0364-0213(82)80008-6 · Cited by 64
Self-citationRepresenting Robot Task Plans as Robust Logical-Dynamical Systems
Paxton, C., Ratliff, N., Eppner, C., & Fox, D. (2019) · 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros40897.2019.8967861 · Cited by 59
Steedman, M. J. (1997) · Elsevier eBooks · doi:10.1016/b978-044481714-3/50021-7 · Cited by 63
Wooldridge, M., & van der Hoek, W. (2008) · Cited by 63
Planning in polynomial time: the SAS‐PUBS class
Bäckström, C., & Klein, I. E. (1991) · Computational Intelligence · doi:10.1111/j.1467-8640.1991.tb00393.x · Cited by 63
Games and Agents: Designing Intelligent Gameplay
Dignum, F. P. M., Westra, J., van Doesburg, W. A., & Harbers, M. (2009) · International Journal of Computer Games Technology · doi:10.1155/2009/837095 · Cited by 62
Angelic semantics for high-level actions
Marthi, B., Russell, S., & Wolfe, J. (2007) · Cited by 63
Comparing task-based and socially intelligent behaviour in a robot bartender
Giuliani, M., Petrick, R. P. A., Foster, M. E., Gaschler, A., Isard, A., Pateraki, M., & Σιγάλας, Μ. (2013) · INTERNATIONAL CONFERENCE ON MULTIMODAL INTERACTION · doi:10.1145/2522848.2522869 · Cited by 63
Temporal Reasoning in Artificial Intelligence
Shoham, Y., & Goyal, N. (1988) · Elsevier eBooks · doi:10.1016/b978-0-934613-67-5.50015-0 · Cited by 63
Speech acts as a basis for understanding dialogue coherence
Perrault, C. R., Allen, J. F., & Cohen, P. R. (1978) · Theoretical Issues In Natural Language Processing · doi:10.3115/980262.980282 · Cited by 63
Description Logics and Planning
Gil, Y. (2005) · doi:10.1609/aimag.v26i2.1814 · Cited by 63
On the automatic generation of assembly plans
Wolter, J. (2003) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.1989.99968 · Cited by 63
Knowledge acquisition from structural descriptions
Hayes-Roth, F. A., & McDermott, J. (2018) · KiltHub Repository · doi:10.1184/r1/6606698 · Cited by 63
Automatic learning and generation of social behavior from collective human gameplay
Orkin, J., & Roy, D. K. (2009) · Adaptive Agents and Multi-Agents Systems · doi:10.65109/lltq1667 · Cited by 62
Robot task plan representation by Petri nets: modelling, identification, analysis and execution
Costelha, H., & Lima, P. U. (2012) · Autonomous Robots · doi:10.1007/s10514-012-9288-x · Cited by 62
Planning for Social Interaction in a Robot Bartender Domain
Petrick, R. P. A., & Foster, M. E. (2013) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v23i1.13589 · Cited by 62
Building Human-Level AI for Real-Time Strategy Games
Weber, B. G., Mateas, M., & Jhala, A. H. (2011) · Cited by 62
Exploiting Competitive Planner Performance
Howe, A. E., Dahlman, E., Hansen, C., Scheetz, M., & von Mayrhauser, A. (2000) · Lecture notes in computer science · doi:10.1007/10720246_5 · Cited by 62
"How about this weather?" Social Dialogue with Embodied Conversational Agents
Bickmore, T., & Cassell, J. (2000) · Cited by 62
Abnormal gaze strategies during problem solving in Parkinson's disease
Hodgson, T. L. (2002) · Neuropsychologia · doi:10.1016/s0028-3932(01)00099-9 · Cited by 63
Dynamic mission planning for multiple mobile robots
Brumitt, B. L., & Stentz, A. (2002) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.1996.506522 · Cited by 62
Routine Computing Tasks: Planning as Understanding
Mannes, S. M., & Kintsch, W. (1991) · Cognitive Science · doi:10.1016/0364-0213(91)80001-l · Cited by 62
UML-Based Statistical Test Case Generation
Riebisch, M., Philippow, I., & Götze, M. (2003) · Lecture notes in computer science · doi:10.1007/3-540-36557-5_28 · Cited by 61
A syntactic approach to robot imitation learning using probabilistic activity grammars
Lee, K., Su, Y., Kim, T., & Demiris, Y. (2013) · Robotics and Autonomous Systems · doi:10.1016/j.robot.2013.08.003 · Cited by 61
Representing and analyzing action plans as networks of concurrent processes
Lyons, D. M. (1993) · IEEE Transactions on Robotics and Automation · doi:10.1109/70.240194 · Cited by 61
Foundation models and intelligent decision-making: Progress, challenges, and perspectives
Huang, J., Xu, Y., Wang, Q., Wang, Q., Liang, X., Wang, F., Zhang, Z., Wei, W., Zhang, B., Huang, L., et al. (2025) · The Innovation · doi:10.1016/j.xinn.2025.100948 · Cited by 87
“Little Helper” — An Autonomous Industrial Mobile Manipulator Concept
Hvilshøj, M., & Bøgh, S. (2011) · International Journal of Advanced Robotic Systems · doi:10.5772/10579 · Cited by 60
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4
Hoffmann, J., Edelkamp, S., Thiébaux, S., Englert, R. A., Liporace, F. S., & Trüg, S. (2006) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1982 · Cited by 60
Key Elements for Human-Robot Joint Action
Clodic, A., Pacherie, É., Alami, R., & Chatila, R. (2014) · Frontiers in artificial intelligence and applications · doi:10.1007/978-3-319-53133-5_8 · Cited by 75
Multiple-agent planning systems
Konolige, K., & Nilsson, N. J. (1980) · National Conference on Artificial Intelligence · Cited by 59
Self-citationO'Rorke, P., & Ortony, A. (1994) · Cognitive Sciences · doi:10.1207/s15516709cog1802_3 · Cited by 248
Domain-dependent knowledge in answer set planning
Son, T. C., Baral, C. R., Tran, N., & McIlraith, S. A. (2006) · ACM Transactions on Computational Logic · doi:10.1145/1183278.1183279 · Cited by 59
Intelligent interfaces as agents
Chin, D. N. (1991) · Intelligent User Interfaces · doi:10.1145/107215.128698 · Cited by 59
GOAL‐DRIVEN AUTONOMY FOR RESPONDING TO UNEXPECTED EVENTS IN STRATEGY SIMULATIONS
Klenk, M., Molineaux, M., & Aha, D. (2013) · International Conference on Climate Informatics · doi:10.1111/j.1467-8640.2012.00445.x · Cited by 96
Constraint-Based Scheduling and Planning
Baptiste, P., Laborie, P., Pape, C. L., & Nuijten, W. (2006) · Foundations of artificial intelligence · doi:10.1016/s1574-6526(06)80026-x · Cited by 58
Action-model acquisition from noisy plan traces
Zhuo, H. H., & Subbarao Kambhampati, B. (2013) · Cited by 58
Case-based reasoning integrations
Marling, C., Sqalli, M., Michener, E. R., Muñoz‐Avila, H., & Aha, D. (2002) · ScholarWorks@UMassAmherst (University of Massachusetts Amherst) · Cited by 58
A perception/action substrate for cognitive modeling in HCI
Amant, R. S., & Riedl, M. O. (2001) · International Journal of Human-Computer Studies · doi:10.1006/ijhc.2001.0470 · Cited by 58
Extended inference modes in reasoning by computer systems
Winograd, T. A. (1980) · Artificial Intelligence · doi:10.1016/0004-3702(80)90010-7 · Cited by 58
iGibson 2.0: Object-Centric Simulation for Robot Learning of Everyday Household Tasks
Li, C., Xia, F., Martín-Martín, R., Lingelbach, M., Srivastava, S., Shen, B., Vainio, K., Gokmen, C., Dharan, G., Jain, T., et al. (2021) · arXiv · doi:10.48550/arxiv.2108.03272 · Cited by 58
Synthesis-Based Loose Programming
Lamprecht, A.-L., Naujokat, S., Margaria, T., & Steffen, B. (2010) · International Conference on the Quality of Information and Communications Technology (QUATIC) · doi:10.1109/quatic.2010.53 · Cited by 57
A Behavior-Authoring Framework for Multiactor Simulations
Kapadia, M., Singh, S., Reinman, G., & Faloutsos, P. (2011) · IEEE Computer Graphics and Applications · doi:10.1109/mcg.2011.68 · Cited by 57
Planning domain definition using GIPO
Simpson, R. M., Kitchin, D. E., & McCluskey, T. L. (2007) · The Knowledge Engineering Review · doi:10.1017/s0269888907001063 · Cited by 57
Efficient Learning of Action Schemas and Web-Service Descriptions
Walsh, T., & Littman, M. L. (2008) · doi:10.7282/t3q81hg7 · Cited by 57
Chatbot Testing Using AI Planning
Božić, J., Tazl, O. A., & Wotawa, F. (2019) · IEEE International Conference on Artificial Intelligence Testing (AITest) · doi:10.1109/aitest.2019.00-10 · Cited by 57
Shaw, M. J. (1988) · International Journal of Production Research · doi:10.1080/00207548808947905 · Cited by 57
An Introduction to Explanation-based Learning
DEJONG, G. F. (1988) · Elsevier eBooks · doi:10.1016/b978-0-934613-67-5.50006-x · Cited by 56
An intelligent assistant for patient health care
Miksch, S., Cheng, K., & Hayes‐Roth, B. (1997) · doi:10.1145/267658.267770 · Cited by 56
Levesque, H. J., & Lakemeyer, G. (2008) · Foundations of artificial intelligence · doi:10.1016/s1574-6526(07)03023-4 · Cited by 56
Reasoning from last conflict(s) in constraint programming
Lecoutre, C., Saïs, L., Tabary, S., & Vidal, V. (2009) · Artificial Intelligence · doi:10.1016/j.artint.2009.09.002 · Cited by 56
Tractable planning under uncertainty: exploiting structure
Pineau, J., Gordon, G. J., & Thrun, S. (2004) · Cited by 57
The Qualification Problem: A solution to the problem of anomalous models
Thielscher, M. (2001) · Artificial Intelligence · doi:10.1016/s0004-3702(01)00131-x · Cited by 56
Expressing procedural relationships in multilingual instructions
Delin, J., Hartley, A. F., Paris, C. L., Scott, D., & Linden, K. V. (1994) · International Conference on Natural Language Generation · doi:10.3115/1641417.1641425 · Cited by 56
Fern, A., Givan, R. L., & Siskind, J. M. (2002) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1050 · Cited by 59
Algebraic simplification of GP programs during evolution
Wong, P., & Zhang, M. (2006) · Genetic and Evolutionary Computation Conference (GECCO) · doi:10.1145/1143997.1144156 · Cited by 56
Top-down search for coordinating the hierarchical plans of multiple agents
Clement, B. J., & Durfee, E. H. (1999) · Adaptive Agents and Multi-Agents Systems · doi:10.1145/301136.301205 · Cited by 56
GATES: an airline gate assignment and tracking expert system
Brazile, R. P., & Swigger, K. M. (1988) · IEEE Expert · doi:10.1109/64.2103 · Cited by 56
The logical foundations of goal-regression planning in autonomous agents
Pollock, J. L. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00100-3 · Cited by 56
Carbonell, J., & Gil, Y. (1990) · Elsevier eBooks · doi:10.1016/b978-0-08-051055-2.50013-4 · Cited by 56
Coordination Infrastructures in the Engineering of Multiagent Systems
Omicini, A., Ossowskí, S., & Ricci, A. (2006) · Kluwer Academic Publishers eBooks · doi:10.1007/1-4020-8058-1_17 · Cited by 58
Intention = choice + commitment
Cohen, P. R., & Levesque, H. J. (1987) · National Conference on Artificial Intelligence · Cited by 56
Intelligent agents for the synthetic battlefield: a company of rotary wing aircraft
Hill, R. W., Chen, J., Gratch, J. S., Rosenbloom, P. S., & Tambe, M. (1997) · Cited by 56
Paschke, A. (2006) · arXiv (Cornell University) · doi:10.48550/arxiv.cs/0610167 · Cited by 56
Learning hierarchical task network domains from partially observed plan traces
Zhuo, H. H., Muñoz‐Avila, H., & Yang, Q. (2014) · Artificial Intelligence · doi:10.1016/j.artint.2014.04.003 · Cited by 55
A case-based reasoning approach to planning for disassembly
ZEID, I., Gupta, S. M., & Bardasz, T. (1997) · Journal of Intelligent Manufacturing · doi:10.1023/a:1018500603358 · Cited by 55
An analysis of agent speech acts as institutional actions
Colombetti, M., & Verdicchio, M. (2002) · Adaptive Agents and Multi-Agents Systems · doi:10.1145/545056.545092 · Cited by 55
Creating Emotions and Facial Expressions for Embodied Agents
Bui, T. D. (2004) · University of Twente Research Information · Cited by 54
Bayesian Nonparametric Reward Learning From Demonstration
Michini, B., Walsh, T. J., Agha–mohammadi, A., & How, J. P. (2015) · IEEE Transactions on Robotics · doi:10.1109/tro.2015.2405593 · Cited by 54
Active Model Learning and Diverse Action Sampling for Task and Motion Planning
Wang, Z., Garrett, C. R., Kaelbling, L. P., & Lozano‐Pérez, T. (2018) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2018.8594027 · Cited by 54
SetA*: an efficient BDD-based heuristic search algorithm
Jensen, R. M., Bryant, R. E., & Veloso, M. (2002) · doi:10.5555/777092.777195 · Cited by 54
Roots of SPAR — Shared Planning and Activity Representation
Tate, A. (1998) · The Knowledge Engineering Review · doi:10.1017/s0269888998001064 · Cited by 54
Genetic algorithms in process planning
Váncza, J., & Márkus, A. (1991) · Computers in Industry · doi:10.1016/0166-3615(91)90031-4 · Cited by 54
Improving Efficiency in Mobile Robot Task Planning Through World Abstraction
Galindo, C., Fernández‐Madrigal, J., & González, J. (2004) · IEEE Transactions on Robotics · doi:10.1109/tro.2004.829480 · Cited by 54
Using temporal hierarchies to efficiently maintain large temporal databases
Dean, T. (1989) · JACM · doi:10.1145/76359.76360 · Cited by 68
Approaches to Automatic Programming
Biermann, A. W. (1976) · Advances in computers · doi:10.1016/s0065-2458(08)60519-7 · Cited by 54
A Functional Theory of Creative Reading
Moorman, K., & Ram, A. (1994) · doi:10.21236/ada496794 · Cited by 54
Automatic Programming: Large Language Models and Beyond
Lyu, M. R.-T., Ray, B., Roychoudhury, A., Tan, S. H., & Thongtanunam, P. (2024) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/3708519 · Cited by 83
Web Service Composition as a Planning Task: Experiments using Knowledge-Based Planning
Martínez, E., & Lespérance, Y. (2004) · York University Digital Library (York University) · Cited by 53
Using Semantic Web Services for Context-Aware Mobile Applications
Sheshagiri, M., Sadeh, N., & Gandon, F. L. (2004) · HAL · Cited by 53
Conformant Planning via Model Checking
Cimatti, A., & Roveri, M. (2000) · Lecture notes in computer science · doi:10.1007/10720246_2 · Cited by 53
Levi, G., & Sirovich, F. (1976) · Artificial Intelligence · doi:10.1016/0004-3702(76)90006-0 · Cited by 53
Plan Recognition and Its Use in Understanding Dialog
Carberry, S. (1989) · Springer eBooks · doi:10.1007/978-3-642-83230-7_6 · Cited by 53
Towards automatic error recovery in robot programs
Gini, M. L., & Gini, G. C. (2005) · Springer eBooks · doi:10.1007/bfb0014790 · Cited by 53
A representation for robot plans
Hayes, P. J. (1975) · International Joint Conference on Artificial Intelligence · Cited by 53
The complexity of planning problems with simple causal graphs
Giménez, O., & Jonsson, A. (2008) · Cited by 52
A linear programming heuristic for optimal planning
Bylander, T. (1997) · Cited by 52
Temporal representation and reasoning in artificial intelligence: A review
Pani, A. K., & Bhattacharjee, G. P. (2001) · Mathematical and Computer Modelling · doi:10.1016/s0895-7177(01)00049-8 · Cited by 65
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
