Towards explainable and semantically coherent claim extraction for an automated fact-checker by Yoswara, Jocelyn Valencia

Subjects: Get full text

The political economy of FDI location : why don't political checks and balances and treaty constraints matter? by Walter, Andrew

Get full text
Get full text

Floquet Codes without Parent Subsystem Codes by Davydova, Margarita, Tantivasadakarn, Nathanan, Balasubramanian, Shankar

“…We generalize this construction to three dimensions and obtain a code that fault tolerantly alternates between realizing two type-I fracton models, the checkerboard and the X-cube model. Finally, we show the compatibility of our CSS honeycomb-code protocol and the honeycomb code by showing the possibility of randomly switching between the two protocols without information loss while still measuring error syndromes. …”
Get full text

Memory Checking Requires Logarithmic Overhead by Boyle, Elette, Komargodski, Ilan, Vafa, Neekon

Get full text

Memory Checking Requires Logarithmic Overhead by Boyle, Elette, Komargodski, Ilan, Vafa, Neekon

“…We study the complexity of memory checkers with computational security and prove the first general tight lower bound. …”
Get full text

kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models by Carretero Chavez, Willow, Krantz, Marcus, Klipp, Edda, Kufareva, Irina

Get full text

Single-Shot Decoding of Good Quantum LDPC Codes by Gu, Shouzhen, Tang, Eugene, Caha, Libor, Choe, Shin Ho, He, Zhiyang, Kubica, Aleksander

Get full text

API Governance at Scale by Ahmad, Mak, Geewax, J. J., Macvean, Andrew, Karger, David, Ma, Kwan-Liu

Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…Other tools providing real-time feedback already exist, but ours is the first one that only relies on a small trusted proof checker and that provides a concise summary of the symbolic state at the point in the program currently being edited, as opposed to only indicating whether user-stated assertions or postconditions hold. …”
Get full text

Characterizing Direct Product Testing via Coboundary Expansion by Bafna, Mitali, Minzer, Dor

Get full text

OSPC: Multimodal Harmful Content Detection using Fine-tuned Language Models by Cai, Bill

Get full text

Active Learning for Inference and Regeneration of Applications that Access Databases by Shen, Jiasi, Rinard, Martin

Get full text

15.571 Generating Business Value from Information Technology, Spring 2007 by Weill, Peter

Get full text

Synthesis and testing of asynchronous circuits - micropipeline by Khaing, Kathy.

“…The checker is designed to meet the Totally Self-Checking (TSC) goal based on the existing checker design concepts.…”
Get full text

Essays on development economics by Wang, Wen

Get full text

Building SenticNet 7 by Perh, Zhi Hao

Get full text

On the corrosion resistance of some selective laser melted alloys by Suryawanshi, Jyoti, Baskaran, T., Prakash, Om, Arya, S. B., Ramamurty, Upadrasta

“…The effects of laser scanning strategy (single melt vs. checker board styles), post-SLM heat treatment, and corroding surface orientation (with respect to the scan and build directions) on the corrosion behavior were examined. …”
Get full text

Mobile application for optical character recognition (OCR) of digits by Luah, Yee Teng

Get full text

"Partisan or party-shun?" : When fact-checking meets partisanship by Goh, Bryan Wei Ming

Get full text

Blockchain for RegTech: streamlining know your customer (KYC) pipelines by Tan, Valerie Huiying

Get full text