Are LLMs Rigorous Logical Reasoner? Empowering Natural Language Proof Generation with Contrastive Stepwise Decoding

Logical reasoning remains a pivotal component within the realm of artificial intelligence. The recent evolution of large language models (LLMs) has marked significant progress in this domain. The adoption of strategies like chain-of-thought (CoT) has enhanced the performance of LLMs across diverse reasoning tasks. Nonetheless, logical reasoning that involves proof planning, specifically those that necessitate the validation of explanation accuracy, continues to present stumbling blocks. In this study, we first evaluate the efficacy of LLMs with advanced CoT strategies concerning such tasks. Our analysis reveals that LLMs still struggle to navigate complex reasoning chains, which demand the meticulous linkage of premises to derive a cogent conclusion. To address this issue, we finetune a smaller-scale language model, equipping it to decompose proof objectives into more manageable subgoals. We also introduce contrastive decoding to stepwise proof generation, making use of negative reasoning paths to strengthen the model's capacity for logical deduction. Experiments on EntailmentBank underscore the success of our method in augmenting the proof planning abilities of language models

The effect in the film thickness reducing mechanism of functional groups in porous carbon sulfuric acid supercapacitor

In this paper, the different types and number of functional groups in porous carbon–carbon pore channels are discussed in the thinning mechanism of ionic solvent thin films, which has a significant impact on the absorption of H2SO4 electrolyte based Electric Double Layer Capacitors (EDLC). By exploring the binding energy of –OH, –COOH, –SO3H, –NO2 and other four functional groups with sulfuric acid and hexahydrate sulfuric acid of porous carbon channel and hexahydrate sulfuric acid, it was found that –OH had no repulsive effect on the cathode of the battery, and –COOH, –SO3H, –NO2 and other functional groups had obvious repulsive effect on the cathode of EDLC with the increase of the functional groups number, that is, there was an effect of increasing the capacitance of EDLC by increasing the number of sulfide molecular. This will excavate the potential electrode material in the practical application

HSPA12B: A Novel Facilitator of Lung Tumor Growth

Lung tumor progression is regulated by proangiogenic factors. Heat shock protein A12B (HSPA12B) is a recently identified regulator of expression of proangiogenic factors. However, whether HSPA12B plays a role in lung tumor growth is unknown. To address this question, transgenic mice overexpressing HSPA12B (Tg) and wildtype littermates (WT) were implanted with Lewis lung cancer cells to induce lung tumorigenesis. Tg mice showed significantly higher number and bigger size of tumors than WT mice. Tg tumors exhibited increased angiogenesis and proliferation while reduced apoptosis compared with WT tumors. Interestingly, a significantly enhanced upregulation of Cox-2 was detected in Tg tumors than in WT tumors. Also, Tg tumors demonstrated upregulation of VEGF and angiopoietin-1, downregulation of AKAP12, and increased eNOS phosphorylation compared with WT tumors. Celecoxib, a selective Cox-2 inhibitor, suppressed the HSPA12B-induced increase in lung tumor burden. Moreover, celecoxib decreased angiogenesis and proliferation whereas increased apoptosis in Tg tumors. Additionally, celecoxib reduced angiopoietin-1 expression and eNOS phosphorylation but increased AKAP12 levels in Tg tumors. Our results indicate that HSPA12B stimulates lung tumor growth via a Cox-2-dependent mechanism. The present study identified HSPA12B as a novel facilitator of lung tumor growth and a potential therapeutic target for the treatment of lung cancer

HSP27 Alleviates Cardiac Aging in Mice via a Mechanism Involving Antioxidation and Mitophagy Activation

Aging-induced cardiac dysfunction is a prominent feature of cardiac aging. Heat shock protein 27 (HSP27) protects cardiac function against ischemia or chemical challenge. We hypothesized that HSP27 attenuates cardiac aging. Transgenic (Tg) mice with cardiac-specific expression of the HSP27 gene and wild-type (WT) littermates were employed in the experiments. Echocardiography revealed a significant decline in the cardiac function of old WT mice compared with young WT mice. In striking contrast, the aging-induced impairment of cardiac function was attenuated in old Tg mice compared with old WT mice. Levels of cardiac aging markers were lower in old Tg mouse hearts than in old WT mouse hearts. Less interstitial fibrosis and lower contents of reactive oxygen species and ubiquitin-conjugated proteins were detected in old Tg hearts than in old WT hearts. Furthermore, old Tg hearts demonstrated lower accumulation of LC3-II and p62 than old WT hearts. Levels of Atg13, Vps34, and Rab7 were also higher in old Tg hearts than in old WT hearts. Additionally, old Tg hearts had higher levels of PINK1 and Parkin than old WT hearts, suggesting that mitophagy was activated in old Tg hearts. Taken together, HSP27 alleviated cardiac aging and this action involved antioxidation and mitophagy activation

Induction of heartwood formation in young Indian sandalwood (Santalum album L.) by gas elicitors

Induction of heartwood formation in 6-year-old Indian sandalwood (Santalum album L.) trees by treatment with carbon dioxide, ethylene, nitrogen, and wounding was investigated. All treatments induced fragrant heartwood formation upward and downward from the drill hole. The amount of heartwood formed above and below the drill hole depended on the treatment in the order nitrogen>carbon dioxide>ethylene>wounding, whereas the radial extension proportion was, in order, nitrogen>carbon dioxide>ethylene=wounding. Based on the chemical analysis (GC–MS) and evaluation of the essential oil quality and heartwood properties, heartwood induced by carbon dioxide showed the maximum similarities to naturally formed heartwood, which included the same color, similar chemical composition, reasonable oil content, and quality essential oil, whereas ethylene, nitrogen, and wounding treatment showed fewer similarities to natural heartwood. The results suggest that carbon dioxide is a promising candidate gas elicitor for inducing heartwood formation in young S. album

A Comparative Study of Theoretical Graph Models for Characterizing Structural Networks of Human Brain

Previous studies have investigated both structural and functional brain networks via graph-theoretical methods. However, there is an important issue that has not been adequately discussed before: what is the optimal theoretical graph model for describing the structural networks of human brain? In this paper, we perform a comparative study to address this problem. Firstly, large-scale cortical regions of interest (ROIs) are localized by recently developed and validated brain reference system named Dense Individualized Common Connectivity-based Cortical Landmarks (DICCCOL) to address the limitations in the identification of the brain network ROIs in previous studies. Then, we construct structural brain networks based on diffusion tensor imaging (DTI) data. Afterwards, the global and local graph properties of the constructed structural brain networks are measured using the state-of-the-art graph analysis algorithms and tools and are further compared with seven popular theoretical graph models. In addition, we compare the topological properties between two graph models, namely, stickiness-index-based model (STICKY) and scale-free gene duplication model (SF-GD), that have higher similarity with the real structural brain networks in terms of global and local graph properties. Our experimental results suggest that among the seven theoretical graph models compared in this study, STICKY and SF-GD models have better performances in characterizing the structural human brain network