Oct 2026· Zenodo (CERN European Organization for Nuclear Research)
Topic Modeling
Abstract
We describe a three-stage pipeline submitted to the DocSem 2026 shared task on document-grounded quantitative reasoning with evidence attribution. Each task instance provides a scanned, image-only PDF containing a self-contained arithmetic word problem embedded among a large number of lexically similar but irrelevant distractor passages, together with a heavily templated, low-information user query. Our system (i) performs OCR-based document parsing with error-tolerant block-identifier recovery, (ii) locates the evidence-bearing block using a small set of deterministic discourse-marker regular expressions rather than dense or semantic retrieval, and (iii) solves the located problem with a local 3B-parameter instruction-tuned language model, comparing free-form chain-of-thought self-consistency against program-aided (code-execution) solving. On a held-out development sample of 40 instances, program-aided solving reached 70% answer accuracy against 47.5% for chain-of-thought self-consistency, while evidence-block retrieval reached 100% across every development sample we evaluated (n > 60). We report several empirical findings of independent interest: (a) conclusions drawn from small evaluation samples (n=15) were reversed by a larger sample (n=40), underscoring the risk of underpowered pipeline comparisons; (b) the held-out test split used a materially different block-identifier format and evidence-marker vocabulary than the training and validation splits, which we interpret as a deliberate probe for retrieval logic that has overfit to surface patterns rather than task semantics; and (c) compute constraints on free consumer hardware limited our final test submission to 125 of 1,730 instances, and, on direct inspection of the submitted file, the resulting 0.00% official test score appears attributable primarily to exact-match evidence scoring failing against OCR-corrupted short alphanumeric identifiers rather than to wholesale pipeline or model failure, since 96% of completed instances received substantive (non-placeholder) answers. We discuss this outcome honestly, including the evidence supporting that diagnosis, and argue that both the operational lesson, inference throughput under a fixed compute budget is as consequential as per-instance accuracy, and the scoring-sensitivity finding, exact-match evidence metrics may be a poor discriminator of system quality when evidence identifiers are OCR-derived, are useful contributions independent of our final rank.
Supporting data, adapters, predictions and code for the article *Low-Cost LoRA Fine-Tuning of Small Language Models for Multi-Step Arithmetic Reasoning* by Jake O'Grady, Asena Isik Gürhan, Chee Fong Ting and Effirul Ramlan (University of Galway). We generated 20,000 GSM8K-derived arithmetic problems with step-by-step s...
O'Grady, Jake, Gürhan, Asena Isik, Chee, Fong Ting et al.· Zenodo (CERN European Organi...· 465 citations
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors, and shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context.
Henry Edison, Nina M. Smørsgård, Xiaofeng Wang et al.· Journal of Systems and Softw...· 78 citations· ⚡6
Related blog posts
MIT News · Artificial Intelligence· news.mit.eduOct 18, 2026
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.