Expertini Research Research

Browse Research Papers

3,560+ open-access research outputs.

โœ• Clear
๐Ÿ” guillermo morales ๐Ÿ“‚ Computer Science
Showing 3560 results for "guillermo morales" in Computer Science
Computer Science Preprint PDF DOI

RuC: HDL-Agnostic Rule Completion Benchmark Generation

Arnau Ayguade Domingo, Miquel Alberti-Binimelis, Cristian Gutierrez-Gomez, Emanuele Parisi, Razine Moundir Ghorab, Miquel Moreto, Gokcen Kestor, Dario Garcia-Gasulla ยท 2026

Large Language Models (LLMs) have rapidly improved in performance across code-related tasks, making their integration into Register Transfer Level (RTL) development increasingly attractive. Mimicking โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

SafeTune: Mitigating Data Poisoning in LLM Fine-Tuning for RTL Code Generation

Mahshid Rezakhani, Nowfel Mashnoor, Kimia Azar, Hadi Kamali ยท 2026

As large language models (LLMs) are increasingly fine-tuned for hardware tasks like RTL code generation, the scarcity of high-quality datasets often leads to the use of rapidly assembled or generated โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Discipline-Agnostic AI Literacy Course for Academic Research: Architecture, Pedagogy, and Implementation

Gideon K. Gogovi ยท 2026

The rapid integration of generative AI into academic workflows demands curricula that equip students not only with tool proficiency but with the critical judgment to use those tools responsibly in schโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields

Miguel Isabel, Enric Rodriguez-Carbonell, Clara Rodriguez-Nunez, Albert Rubio ยท 2026

Zero-knowledge proofs (ZKPs) are an emerging technology that has become the solution to efficiently provide security and privacy along with the transparency requirement of blockchains. ZKPs are usuallโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

FACT: Compositional Kernel Synthesis with a Three-Stage Agentic Workflow

Sina Heidari, Dimitrios S. Nikolopoulos ยท 2026

Deep learning compilers and vendor libraries deliver strong baseline performance but are bounded by finite, engineer-curated catalogs. When these omit needed optimizations, practitioners substitute haโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Path-Reporting Distance Oracles for Vertex-Labeled Graphs

Ofer Neiman, Alon Spector ยท 2026

Let $G=(V,E)$ be a weighted undirected graph, with $n$ vertices. A distance oracle is a data structure that can quickly answer distance queries, with some stretch factor. A seminal work of \cite{TZ01}โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Lexical Anthropomorphization Influences on Moral Judgments of AI Bad Behavior

Jaime Banks, Nicholas David Bowman, Roman Saladino ยท 2026

Anthropomorphic language describing artificial intelligence (AI) is widespread in media, policy, and everyday discourse; so too are discussions of AI bad behavior, from hallucinations to inappropriateโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Lightweight Quantum Agent for Edge Systems: Joint PQC and NOMA Resource Allocation

Yongtao Yao, Wenjing Xiao, Miaojiang Chen, Anfeng Liu, Zhiquan Liu, Min Chen, Ahmed Farouk, H. Herbert Song ยท 2026

In the context of quantum secure scenarios, existing research on mobile edge devices and intelligent computing and edge (ICE) systems based on the Non-Orthogonal Multiple Access (NOMA) communication mโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

FGDM: Reasoning Aware Multi-Agentic Framework for Software Bug Detection using Chain of Thought and Tree of Thought Prompting

Srita Padmanabhuni, Bhargavi Karuturi, Jerusha Karen Indupalli, Santhan Reddy Chilla, Vivek Yelleti ยท 2026

Deep Learning methods are becoming prominent in automated software bug detection; however, they lack the global understanding of the given code. Consequently, their performance tends to degrade, especโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation

Yifan Zhang, Jianmin Ye, Jiahao Yang, Xi Wang ยท 2026

As the complexity of System-on-Chip (SoC) designs grows, the shift-left paradigm necessitates the rapid development of high-fidelity reference models (typically written in SystemC) for early architectโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

The Alignment Target Problem: Divergent Moral Judgments of Humans, AI Systems, and Their Designers

Benjamin Minhao Chen, Xinyu Xie ยท 2026

The quest to align machine behavior with human values raises fundamental questions about the moral frameworks that should govern AI decision-making. Much alignment research assumes that the appropriatโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

The Network Structure of Mathlib

Xinze Li, Nanyun Peng, Simone Severini, Patrick Shafto ยท 2026

The ongoing development of Lean 4's Mathlib has produced a macroscopic structural complexity that interweaves logical, mathematical, and infrastructural dependencies. We present a network analysis of โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

TimingLLM: A Two-Stage Retrieval-Augmented Framework for Pre-Synthesis Timing Prediction from Verilog

Armin Abdollahi, Negin Ashrafi, Mehdi Kamal, Massoud Pedram ยท 2026

Early, tool-free prediction of post-synthesis timing remains a key obstacle to rapid RTL iteration. We introduce TimingLLM, a two-stage retrieval-augmented LLM pipeline that estimates worst negative sโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Green-Red Watermarking for Recommender Systems

Lei Zhou, Min Gao, Zongwei Wang, Yibing Bai, Wentao Li ยท 2026

The widespread open-sourcing of advanced recommendation algorithms and the rising threat of model extraction attacks have made safeguarding the intellectual property of recommender systems an imperatiโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

RFID-Based Non-Biometric Classroom Attendance System: Proxy Attendance Detection via Weight Sensor Integration

Furkan Ege, Muhsin Ozdemir ยท 2026

Attendance tracking in educational institutions, when conducted through traditional methods, leads to structural problems that consume instruction time and threaten academic integrity. Attendance duraโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices

Jia Li, Hongyi Deng, Yiran Zhang, Kechi Zhang, Tianqi Shao, Tiankuo Zhao, Weinan Wang, Zhi Jin, Ge Li, Yang Liu, Yingtao Fang, Yihong Dong ยท 2026

Writing code requires significant time and effort in software development. To automate this process, researchers have made substantial progress using Large Language Models (LLMs) for code generation. โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Large Language Model Counterarguments in Older Adults: Cognitive Offloading or Vulnerability to Moral Persuasion?

Kou Tamura, Sayaka Ishibashi, Ayana Goma, Kenta Yamamoto, Kouhei Masumoto ยท 2026

This study examined whether counterarguments generated by large language models (LLMs) influence the moral judgments of younger and older adults and whether these effects vary as a function of dilemmaโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Semantic Error Correction and Decoding for Short Block Codes

Jiafu Hao, Chentao Yue, Wanchun Liu, Branka Vucetic, Yonghui Li ยท 2026

This paper presents a semantic-enhanced receiver framework for transmitting natural language sentences over noisy wireless channels using multiple short block codes. After ASCII encoding, the sentenceโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

RAG-Reflect: Agentic Retrieval-Augmented Generation with Reflections for Comment-Driven Code Maintenance on Stack Overflow

Mehedi Hasan Shanto, Muhammad Asaduzzaman, Alioune Ngom ยท 2026

User comments on online programming platforms such as Stack Overflow play a vital role in maintaining the correctness and relevance of shared code examples. However, the majority of comments express gโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Recognition Without Authorization: LLMs and the Moral Order of Online Advice

Tom van Nuenen ยท 2026

Large language models are increasingly used to mediate everyday interpersonal dilemmas, yet how their advisory defaults interact with the concentrated moral orders of specific communities remains poorโ€ฆ

Read Paper โ†’
Page 1 of 178 Next โ†’