Parser fixes: reject multi-paragraph clean-passthrough, add \b to predicate regex

fix readme

Strip YAML frontmatter when rendering README in Documentation tab

Update README: remove unnecessary metadata, add output fields descriptions, and streamline content

update docs

Update README: new two-program API, obfuscated example, ICLR-Workshop badge

Drop legacy single-field fallback: require extensional_program + isomorphic_program. Schema-strict for multi-domain/multi-language use.

Fix Gradio app: call verify_ipt directly (schema can't carry two-field SLR-Bench form); friendlier description

Refactor validation program handling: separate extensional and isomorphic logic, update interface, and enhance legacy support

update results format

remove subfolder

parsing

remove index

Merge remote main into master before push

Update IPT testing and verifier scripts

init

Upload app.py with huggingface_hub

Upload packages.txt with huggingface_hub

Upload packages.txt

Upload app.py with huggingface_hub

Upload ipt/verifier.py with huggingface_hub

Upload IsomorphicPerturbationTesting.py with huggingface_hub

Upload README.md with huggingface_hub

Upload app.py with huggingface_hub

Upload ipt/verifier.py with huggingface_hub

Upload ipt/__init__.py with huggingface_hub

Upload requirements.txt with huggingface_hub

Upload README.md with huggingface_hub

Upload IsomorphicPerturbationTesting.py with huggingface_hub

initial commit