{"about":{"non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","site":"https://codewithpapers.app","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page","syntology":{"site":"https://syntology.ai","developers":"https://syntology.ai/developers","mcp":{"server":"https://syntology.ai/mcp","transport":"streamable-http","server_card":"https://syntology.ai/.well-known/mcp/server-card.json","auth":{"type":"trial token, no account","trial_token":"https://syntology.ai/api/oauth/trial/token","method":"POST","docs":"https://syntology.ai/developers"}},"have":"https://syntology.ai/api/graph/have?x=<method, arXiv id or title> (free, answers coverage only)","paper_base":"https://syntology.ai/paper/","atlas_base":"https://app.syntology.ai/?focus="},"machine_readable":[{"url":"https://codewithpapers.app/llms.txt","what":"the machine catalog: every machine-readable file, counted"},{"url":"https://codewithpapers.app/index/manifest.json","what":"paper-to-code index by arXiv id, with Syntology's counts"},{"url":"https://codewithpapers.app/search/manifest.json","what":"site search index (titles, authors) and its files"},{"url":"https://codewithpapers.app/download","what":"bulk files: Syntology's layer, described there"},{"url":"https://codewithpapers.app/build_manifest.json","what":"the build record: inputs, counts, exclusions, probes"}]},"url":"/task/negation/papers/7","list_of":"/task/negation","task":"Negation","archive":{"snapshot":"2025-07-28"},"key_notes":{"n_ran_checked":"legacy name, kept unchanged so existing readers do not break: it counts the samples that ran with no instrument failure (honoured, violated, and ran with no contract checked); it does not mean a contract was checked, and the pages print it as 'K with no instrument failure', not 'K checked'","n_constructed":"a sub-count of the samples that ran, never subtracted from them and never a failure: an executed sample whose run returned an instance of its own class (fixture_out_type equals the entry name): the run built an object and did not compute a result (Syntology's RAN record, counts.constructed)"},"syntology_read_at":"2026-09-28T10:30:06+00:00","order":"archive","order_definition":"repositories listed in the archive (most first), then date (newest first), then slug","page":7,"pages_in_order":7,"rows_per_page":100,"rows":[601,608],"of":608,"counts":{"archive_papers_tagged":608,"with_a_code_link":173,"where_syntology_ran_a_sample":41,"not_listed_spam_title":0,"listed":608,"listed_where_code_ran":41,"where_syntology_ran_a_sample_split":{"with_a_run_with_no_instrument_failure":30,"every_run_a_failure_of_syntologys_instrument":11,"listed_with_a_run_with_no_instrument_failure":30,"listed_every_run_a_failure_of_syntologys_instrument":11,"filter":{"states":["a run with no instrument failure","any run, instrument failures included"],"default":"a run with no instrument failure","note":"on the 'only where code ran' pages the default hides, in the browser, the rows where every run was a failure of Syntology's instrument; the second state shows them again. Rows are hidden, never re-ordered; these twins list every row"}},"definition":"distinct papers the archive tags; 'where Syntology ran a sample' counts papers with at least one harvested sample that ran, which is not a correctness claim"},"first_page":"/task/negation","prev":"/task/negation/papers/6","next":null,"papers":[{"url":null,"slug":"a-review-corpus-annotated-for-negation","title":"A review corpus annotated for negation, speculation and their scope","date":"2012-05-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"conandoyle-neg-annotation-of-negation-cues","title":"ConanDoyle-neg: Annotation of negation cues and their scope in Conan Doyle stories","date":"2012-05-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"modality-and-negation-an-introduction-to-the","title":"Modality and Negation: An Introduction to the Special Issue","date":"2012-01-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"modality-and-negation-in-simt-use-of-modality","title":"Modality and Negation in SIMT Use of Modality and Negation in Semantically-Informed Syntactic MT","date":"2012-01-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"speculation-and-negation-rules-rankers-and","title":"Speculation and Negation: Rules, Rankers, and the Role of Syntax","date":"2012-01-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"learning-efficient-markov-networks","title":"Learning Efficient Markov Networks","date":"2010-12-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"the-bioscope-corpus-biomedical-texts","title":"The BioScope corpus: biomedical texts annotated for uncertainty, negation and their scopes","date":"2008-06-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"sequential-operators-in-computability-logic","title":"Sequential operators in computability logic","date":"2007-12-09","arxiv_id":"0712.1345","repositories_listed":0,"syntology":null}],"record_sha256":"cc2c39f92914d95918249092a82efd62eccce181d99e55428a55de91ad272710","record_changed_at":"2026-09-28","record_changed_at_basis":"first_hashed"}