File size: 1,192 Bytes
9cef6fd | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 | """
frontier-check
==============
Route LLM claims by their training-data status.
Given a claim, produce a Result with:
- status (IN_DATA_KNOWN, IN_DATA_IMPOSSIBLE, OUTSIDE_DATA_*)
- verdict (REFUSED, ESTABLISHED, FRONTIER, FABRICATED, INCOMPLETE)
- papers (retrieved, with on_target flag)
- sub_claims (decomposed, with verdicts)
- action and residual (one sentence each)
The interesting verdict is FRONTIER: outside local literature,
mechanism present, checkable sub-claim present.
Pure stdlib. No dependencies.
Author: the XuanJi session
License: Apache-2.0
"""
from .model import (
Claim,
Paper,
Assessment,
SubClaim,
Result,
Theorem,
classify_claim,
extract_subclaims,
frontier_check,
retrieve,
verify_subclaim,
self_test,
REGRESSION_CLAIMS,
THEOREMS,
LOCAL_CORPUS,
)
__version__ = "0.4.0"
__all__ = [
"Claim",
"Paper",
"Assessment",
"SubClaim",
"Result",
"Theorem",
"classify_claim",
"extract_subclaims",
"frontier_check",
"retrieve",
"verify_subclaim",
"self_test",
"REGRESSION_CLAIMS",
"THEOREMS",
"LOCAL_CORPUS",
"__version__",
] |