arXiv subjects

Ran Chen

Publications and source records attributed to Ran Chen.

At least 55 records · Page 3Linked to original sources

arXiv2025

GeoUni: A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions

We propose GeoUni, the first unified geometry expert model capable of generating problem solutions and diagrams within a single framework in a way that enables the creation of unique and individualized geometry problems. Traditionally, solving geometry problems and generating diagrams have been treated as separate tasks in machine learning, with no models successfully integrating both to support problem creation. However, we believe that mastery in geometry requires frictionless integration of all of these skills, from solving problems to visualizing geometric relationships, and finally, crafting tailored problems. Our extensive experiments demonstrate that GeoUni, with only 1.5B parameters, achieves performance comparable to larger models such as DeepSeek-R1 with 671B parameters in geometric reasoning tasks. GeoUni also excels in generating precise geometric diagrams, surpassing both text-to-image models and unified models, including the GPT-4o image generation. Most importantly, GeoUni is the only model capable of successfully generating textual problems with matching diagrams based on specific knowledge points, thus offering a wider range of capabilities that extend beyond current models.

cs.LG↗

arXiv2025

Perfect divisibility of (fork, antifork$\cup K_1$)-free graphs

A {\em fork} is a graph obtained from $K_{1,3}$ (usually called {\em claw}) by subdividing an edge once, an {\em antifork} is the complement graph of a fork, and a {\em co-cricket} is a union of $K_1$ and $K_4-e$. A graph is perfectly divisible if for each of its induced subgraph $H$, $V (H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B]) < ω(H)$. Karthick {\em et al.} [Electron. J. Comb. 28 (2021), P2.20.] conjectured that fork-free graphs are perfectly divisible, and they proved that each (fork, co-cricket)-free graph is either claw-free or perfectly divisible. In this paper, we show that every (fork, {\em antifork}$\cup K_1$)-free graph is perfectly divisible. This improves some results of Karthick {\em et al.}.

math.CO↗

arXiv2025

SOAEsV2-7B/72B: Full-Pipeline Optimization for State-Owned Enterprise LLMs via Continual Pre-Training, Domain-Progressive SFT and Distillation-Enhanced Speculative Decoding

This study addresses key challenges in developing domain-specific large language models (LLMs) for Chinese state-owned assets and enterprises (SOAEs), where current approaches face three limitations: 1) constrained model capacity that limits knowledge integration and cross-task adaptability; 2) excessive reliance on domain-specific supervised fine-tuning (SFT) data, which neglects the broader applicability of general language patterns; and 3) inefficient inference acceleration for large models processing long contexts. In this work, we propose SOAEsV2-7B/72B, a specialized LLM series developed via a three-phase framework: 1) continual pre-training integrates domain knowledge while retaining base capabilities; 2) domain-progressive SFT employs curriculum-based learning strategy, transitioning from weakly relevant conversational data to expert-annotated SOAEs datasets to optimize domain-specific tasks; 3) distillation-enhanced speculative decoding accelerates inference via logit distillation between 72B target and 7B draft models, achieving 1.39-1.52$\times$ speedup without quality loss. Experimental results demonstrate that our domain-specific pre-training phase maintains 99.8% of original general language capabilities while significantly improving domain performance, resulting in a 1.08$\times$ improvement in Rouge-1 score and a 1.17$\times$ enhancement in BLEU-4 score. Ablation studies further show that domain-progressive SFT outperforms single-stage training, achieving 1.02$\times$ improvement in Rouge-1 and 1.06$\times$ in BLEU-4. Our work introduces a comprehensive, full-pipeline approach for optimizing SOAEs LLMs, bridging the gap between general language capabilities and domain-specific expertise.

cs.CL↗

arXiv2025

CoCo-Bench: A Comprehensive Code Benchmark For Multi-task Large Language Model Evaluation

Large language models (LLMs) play a crucial role in software engineering, excelling in tasks like code generation and maintenance. However, existing benchmarks are often narrow in scope, focusing on a specific task and lack a comprehensive evaluation framework that reflects real-world applications. To address these gaps, we introduce CoCo-Bench (Comprehensive Code Benchmark), designed to evaluate LLMs across four critical dimensions: code understanding, code generation, code modification, and code review. These dimensions capture essential developer needs, ensuring a more systematic and representative evaluation. CoCo-Bench includes multiple programming languages and varying task difficulties, with rigorous manual review to ensure data quality and accuracy. Empirical results show that CoCo-Bench aligns with existing benchmarks while uncovering significant variations in model performance, effectively highlighting strengths and weaknesses. By offering a holistic and objective evaluation, CoCo-Bench provides valuable insights to guide future research and technological advancements in code-oriented LLMs, establishing a reliable benchmark for the field.

cs.SE↗

arXiv2025

Coloring of graphs without long odd holes

A {\em hole} is an induced cycle of length at least 4, a $k$-hole is a hole of length $k$, and an {\em odd hole} is a hole of odd length. Let $\ell\ge 2$ be an integer. Let ${\cal A}_{\ell}$ be the family of graphs of girth at least $2\ell$ and having no odd holes of length at least $2\ell+3$, let ${\cal B}_{\ell}$ be the triangle-free graphs which have no 5-holes and no odd holes of length at least $2\ell+3$, and let ${\cal G}_{\ell}$ be the family of graphs of girth $2\ell+1$ and have no odd hole of length at least $2\ell+5$. Chudnovsky {\em et al.} \cite{CSS2016} proved that every graph in ${\cal A}_{2}$ is 58000-colorable, and every graph in ${\cal B}_{\ell}$ is $(\ell+1)4^{\ell-1}$-colorable. Lan and liu \cite{LL2023} showed that for $\ell\geq3$, every graph in ${\cal G}_{\ell}$ is 4-colorable. It is not known whether there exists a small constant $c$ such that graphs of ${\cal G}_2$ are $c$-colorable. In this paper, we show that every graph in ${\cal G}_2$ is 1456-colorable, and every graph in ${\cal A}_{3}$ is 4-colorable. We also show that every 7-hole free graph in ${\cal B}_{\ell}$ is $(12\ell+8)$-colorable.

math.CO↗

arXiv2025

Network regression and supervised centrality estimation

The centrality in a network is often used to measure nodes' importance and model network effects on a certain outcome. Empirical studies widely adopt a two-stage procedure, which first estimates the centrality from the observed noisy network and then infers the network effect from the estimated centrality, even though it lacks theoretical understanding. We propose a unified modeling framework to study the properties of centrality estimation and inference and the subsequent network regression analysis with noisy network observations. Furthermore, we propose a supervised centrality estimation methodology, which aims to simultaneously estimate both centrality and network effect. We showcase the advantages of our method compared with the two-stage method both theoretically and numerically via extensive simulations and a case study in predicting currency risk premiums from the global trade network.

econ.EM↗

arXiv2025

OpenCSG Chinese Corpus: A Series of High-quality Chinese Datasets for LLM Training

Large language models (LLMs) have demonstrated remarkable capabilities, but their success heavily relies on the quality of pretraining corpora. For Chinese LLMs, the scarcity of high-quality Chinese datasets presents a significant challenge, often limiting their performance. To address this issue, we propose the OpenCSG Chinese Corpus, a series of high-quality datasets specifically designed for LLM pretraining, post-training, and fine-tuning. This corpus includes Fineweb-edu-chinese, Fineweb-edu-chinese-v2, Cosmopedia-chinese, and Smoltalk-chinese, each with distinct characteristics: Fineweb-edu datasets focus on filtered, high-quality content derived from diverse Chinese web sources; Cosmopedia-chinese provides synthetic, textbook-style data for knowledge-intensive training; and Smoltalk-chinese emphasizes stylistic and diverse chat-format data. The OpenCSG Chinese Corpus is characterized by its high-quality text, diverse coverage across domains, and scalable, reproducible data curation processes. Additionally, we conducted extensive experimental analyses, including evaluations on smaller parameter models, which demonstrated significant performance improvements in tasks such as C-Eval, showcasing the effectiveness of the corpus for training Chinese LLMs.

cs.CL↗

arXiv2024

Performance of a Kinetic Inductance Phonon-Mediated Detector at the NEXUS Cryogenic Facility

Microcalorimeters that leverage microwave kinetic inductance detectors to read out phonon signals in the particle-absorbing target, referred to as kinetic inductance phonon-mediated (KIPM) detectors, offer an attractive detector architecture to probe dark matter (DM) down to the fermionic thermal relic mass limit. A prototype KIPM detector featuring a single aluminum resonator patterned onto a 1-gram silicon substrate was operated in the NEXUS low-background facility at Fermilab for characterization and evaluation of this detector architecture's efficacy for a dark matter search. An energy calibration was performed by exposing the bare substrate to a pulsed source of 470 nm photons, resulting in a baseline resolution on the energy absorbed by the phonon sensor of $2.1\pm0.2$ eV, a factor of two better than the current state-of-the-art, enabled by millisecond-scale quasiparticle lifetimes. However, due to the sub-percent phonon collection efficiency, the resolution on energy deposited in the substrate is limited to $σ_E=318 \pm 28$ eV. We further model the signal pulse shape as a function of device temperature to extract quasiparticle lifetimes, as well as the observed noise spectra, both of which impact the baseline resolution of the sensor.

physics.ins-det↗

arXiv2024

Nearly optimal coloring of some C4-free graphs

A class ${\cal G}$ of graphs is $χ$-{\em polydet} if ${\cal G}$ has a polynomial binding function $f$ and there is a polynomial time algorithm to determine an $f(ω(G))$-coloring of $G\in {\cal G}$. Let $P_t$ and $C_t$ denote a path and a cycle on $t$ vertices, respectively. A {\em bull} consists of a triangle with two disjoint pendant edges, a {\em hammer} is obtained by identifying an end of $P_3$ with a vertex of a triangle, a {\em fork$^+$} is obtained from $K_{1, 3}$ by subdividing an edge twice. Let $H$ be a bull or a hammer, and $F$ be a $P_7$ or a fork$^+$. We determine all $(C_3, C_4, F)$-free graphs without clique cutsets and universal cliques, and present a close relation between $(C_4, F, H)$-free graphs and the Petersen graph. As a consequence, we show that the classes of $(C_4, F, H)$-free graphs are $χ$-polydet with nearly optimal linear binding functions.

math.CO↗

arXiv2024

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization

Register Transfer Level (RTL) code optimization is crucial for enhancing the efficiency and performance of digital circuits during early synthesis stages. Currently, optimization relies heavily on manual efforts by skilled engineers, often requiring multiple iterations based on synthesis feedback. In contrast, existing compiler-based methods fall short in addressing complex designs. This paper introduces RTLRewriter, an innovative framework that leverages large models to optimize RTL code. A circuit partition pipeline is utilized for fast synthesis and efficient rewriting. A multi-modal program analysis is proposed to incorporate vital visual diagram information as optimization cues. A specialized search engine is designed to identify useful optimization guides, algorithms, and code snippets that enhance the model ability to generate optimized RTL. Additionally, we introduce a Cost-aware Monte Carlo Tree Search (C-MCTS) algorithm for efficient rewriting, managing diverse retrieved contents and steering the rewriting results. Furthermore, a fast verification pipeline is proposed to reduce verification cost. To cater to the needs of both industry and academia, we propose two benchmarking suites: the Large Rewriter Benchmark, targeting complex scenarios with extensive circuit partitioning, optimization trade-offs, and verification challenges, and the Small Rewriter Benchmark, designed for a wider range of scenarios and patterns. Our comparative analysis with established compilers such as Yosys and E-graph demonstrates significant improvements, highlighting the benefits of integrating large models into the early stages of circuit design. We provide our benchmarks at https://github.com/yaoxufeng/RTLRewriter-Bench.

cs.AR↗

arXiv2024

Structure and coloring of a family of ($P_7, C_5$)-free graphs

Let $P_t$ and $C_t$ be a path and a cycle on $t$ vertices, respectively. In 2021, Choudum {\em et al.} [Disc. Math. 344 (2021) 112244] determined the structures of $(P_7,C_7,C_4$, diamond)-free and $(P_7,C_7,C_4$, gem)-frees, and gave correspondingly tight upper bounds to the chromatic numbers of these graphs. In this paper, we study the structure of $(P_7, C_5$, kite, paraglider)-free graphs, which is a superfamily of $(P_7, C_5$, diamond)-free graphs. We show that there is a unique connected imperfect $(P_7, C_5$, kite, paraglider)-free graph with $δ(G)\geqω(G)+1$, which has no clique cutsets, no universal cliques, and no pair of vertices of which one's neighborhoods contains the other's. As a consequence, we show that $(P_7, C_5$, kite, paraglider)-free graphs are $χ$-polydet with a binding function $ω(G)+1$. Where a {\em diamond} (resp. {\em gem}) consists of a $P_3$ (resp. $P_4$) and a new vertex adjacent to all vertices of the $P_3$ (resp. $P_4$), a {\em kite} consists of a $P_4$ and a new vertex adjacent to consecutive three vertices of the $P_4$, and a {\em paraglider} consists of a $C_4$ and a new vertex adjacent to three vertices of the $C_4$.

math.CO↗

arXiv2024

Seismic Fault SAM: Adapting SAM with Lightweight Modules and 2.5D Strategy for Fault Detection

Seismic fault detection holds significant geographical and practical application value, aiding experts in subsurface structure interpretation and resource exploration. Despite some progress made by automated methods based on deep learning, research in the seismic domain faces significant challenges, particularly because it is difficult to obtain high-quality, large-scale, open-source, and diverse datasets, which hinders the development of general foundation models. Therefore, this paper proposes Seismic Fault SAM, which, for the first time, applies the general pre-training foundation model-Segment Anything Model (SAM)-to seismic fault interpretation. This method aligns the universal knowledge learned from a vast amount of images with the seismic domain tasks through an Adapter design. Specifically, our innovative points include designing lightweight Adapter modules, freezing most of the pre-training weights, and only updating a small number of parameters to allow the model to converge quickly and effectively learn fault features; combining 2.5D input strategy to capture 3D spatial patterns with 2D models; integrating geological constraints into the model through prior-based data augmentation techniques to enhance the model's generalization capability. Experimental results on the largest publicly available seismic dataset, Thebe, show that our method surpasses existing 3D models on both OIS and ODS metrics, achieving state-of-the-art performance and providing an effective extension scheme for other seismic domain downstream tasks that lack labeled data.

cs.CV↗

arXiv2024

LLM4DESIGN: An Automated Multi-Modal System for Architectural and Environmental Design

This study introduces LLM4DESIGN, a highly automated system for generating architectural and environmental design proposals. LLM4DESIGN, relying solely on site conditions and design requirements, employs Multi-Agent systems to foster creativity, Retrieval Augmented Generation (RAG) to ground designs in realism, and Visual Language Models (VLM) to synchronize all information. This system resulting in coherent, multi-illustrated, and multi-textual design schemes. The system meets the dual needs of narrative storytelling and objective drawing presentation in generating architectural and environmental design proposals. Extensive comparative and ablation experiments confirm the innovativeness of LLM4DESIGN's narrative and the grounded applicability of its plans, demonstrating its superior performance in the field of urban renewal design. Lastly, we have created the first cross-modal design scheme dataset covering architecture, landscape, interior, and urban design, providing rich resources for future research.

cs.HC↗

arXiv2024

Damping Wind Farm Resonances with Current Based Model Predictive Pulse Pattern Control

It is well-established that a proportional current control gain emulates a resistor in the converter output impedance. Even though this resistance can provide additional damping to grid resonances, its effect for traditional linear current controllers is known to be rather limited. Moreover, for medium-voltage systems, high switching frequencies are not an option due to the high switching losses. To meet the harmonic standards, it is expedient to use optimized pulse patterns. This further exacerbates the problems with the resistance of classical controllers, since an additional filtering would be required so that the current controller acts only on the fundamental component (and not on the ripple component). Such a design limits the damping effect not only in its amplitude but also in the frequency range where it is active. This paper shows that a high-bandwidth current-based model predictive pulse pattern controller can alleviate these limitations. The pulse pattern control approach can achieve a high gain even at low switching frequencies, while controlling directly the instantaneous currents (i.e., the fundamental component and the ripple together). With a fast implementation cycle, the frequency range where this damping effect is active can be further extended. Numerical studies showcase these benefits for a multi-phase medium-voltage wind power conversion system.

eess.SY↗

arXiv2024

Coloring some $(P_6,C_4)$-free graphs with $Δ-1$ colors

The Borodin-Kostochka Conjecture states that for a graph $G$, if $Δ(G)\geq9$, then $χ(G)\leq\max\{Δ(G)-1,ω(G)\}$. We use $P_t$ and $C_t$ to denote a path and a cycle on $t$ vertices, respectively. Let $C=v_1v_2v_3v_4v_5v_1$ be an induced $C_5$. A {\em $C_5^+$} is a graph obtained from $C$ by adding a $C_3=xyzx$ and a $P_2=t_1t_2$ such that (1) $x$ and $y$ are both exactly adjacent to $v_1,v_2,v_3$ in $V(C)$, $z$ is exactly adjacent to $v_2$ in $V(C)$, $t_1$ is exactly adjacent to $v_4,v_5$ in $V(C)$ and $t_2$ is exactly adjacent to $v_1,v_4,v_5$ in $V(C)$, (2) $t_1$ is exactly adjacent to $z$ in $\{x,y,z\}$ and $t_2$ has no neighbors in $\{x,y,z\}$. In this paper, we show that the Borodin-Kostochka Conjecture holds for ($P_6,C_4,H$)-free graphs, where $H\in \{K_7,C_5^+\}$. This generalizes some results of Gupta and Pradhan in \cite{GP21,GP24}.

math.CO↗

arXiv2024

Layout2Rendering: AI-aided Greenspace design

In traditional human living environment landscape design, the establishment of three-dimensional models is an essential step for designers to intuitively present the spatial relationships of design elements, as well as a foundation for conducting landscape analysis on the site. Rapidly and effectively generating beautiful and realistic landscape spaces is a significant challenge faced by designers. Although generative design has been widely applied in related fields, they mostly generate three-dimensional models through the restriction of indicator parameters. However, the elements of landscape design are complex and have unique requirements, making it difficult to generate designs from the perspective of indicator limitations. To address these issues, this study proposes a park space generative design system based on deep learning technology. This system generates design plans based on the topological relationships of landscape elements, then vectorizes the plan element information, and uses Grasshopper to generate three-dimensional models while synchronously fine-tuning parameters, rapidly completing the entire process from basic site conditions to model effect analysis. Experimental results show that: (1) the system, with the aid of AI-assisted technology, can rapidly generate space green space schemes that meet the designer's perspective based on site conditions; (2) this study has vectorized and three-dimensionalized various types of landscape design elements based on semantic information; (3) the analysis and visualization module constructed in this study can perform landscape analysis on the generated three-dimensional models and produce node effect diagrams, allowing users to modify the design in real time based on the effects, thus enhancing the system's interactivity.

cs.HC↗

arXiv2024

Estimation and inference for minimizer and minimum of convex functions: optimality, adaptivity and uncertainty principles

Optimal estimation and inference for both the minimizer and minimum of a convex regression function under the white noise and nonparametric regression models are studied in a nonasymptotic local minimax framework, where the performance of a procedure is evaluated at individual functions. Fully adaptive and computationally efficient algorithms are proposed and sharp minimax lower bounds are given for both the estimation accuracy and expected length of confidence intervals for the minimizer and minimum. The nonasymptotic local minimax framework brings out new phenomena in simultaneous estimation and inference for the minimizer and minimum. We establish a novel uncertainty principle that provides a fundamental limit on how well the minimizer and minimum can be estimated simultaneously for any convex regression function. A similar result holds for the expected length of the confidence intervals for the minimizer and minimum.

math.ST↗

arXiv2024

Prospects of constraining $f(T)$ gravity with the third-generation gravitational-wave detectors

Mergers of binary compact objects, accompanied with electromagnetic (EM) counterparts, offer excellent opportunities to explore varied cosmological models, since gravitational waves (GWs) and EM counterparts always carry the information of luminosity distance and redshift, respectively. $f(T)$ gravity, which alters the background evolution and provides a friction term in the propagation of GWs, can be tested by comparing the modified GW luminosity distance with the EM luminosity distance. Considering the third-generation gravitational-wave detectors, Einstein Telescope and two cosmic explorers, we simulate a series of GW events of binary neutron stars and neutron-star-black-hole binaries with EM counterparts. These simulations can be used to constrain $f(T)$ gravity [especially the power-law model $f(T)=T+α(-T)^β$ in this work] and other cosmological parameters, such as $β$ and the Hubble constant. In addition, combining simulations with current observations of type Ia supernovae and baryon acoustic oscillations, we obtain tighter limitations for $f(T)$ gravity. We find that the estimated precision significantly improved when all three datasets are combined ($Δβ\sim 0.03$), compared to analyzing the current observations alone ($Δβ\sim 0.3$). Simultaneously, the uncertainty of the Hubble constant can be reduced to approximately $1\%$.

gr-qc↗