method
active
method:factscoreFActScore
Prior work on atomic factual evaluation that motivates the atomic unit approach in this paper
Neighborhood — ranked by edge-count
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- Scoped definition of 'truth' used in the paper: the truth or falsehood of declarative factual statements
- Binary LLM classifier determining whether a model response to a TruthfulQA question is truthful (1) or deceptive (0)
- Token-level BERT embedding similarity metric used for both diversity comparison and relevancy evaluation
- Partially instantiated lists used to implement communication channels in logic languages.
- Prior framework for synergizing reasoning and acting in LLM agents, foundational to agent harness concept
- The paper's operationalization of truthfulness as simple, unambiguous propositional statements that can be labeled true or false
- Standard type class enabling structure-preserving mappings via fmap; Image instantiates as lift_1.
- Data structure allowing Elephant programs to refer directly to past events without explicit data structures; enables natural language-like reference to past.