arXiv subjects

Suman Saha

Publications and source records attributed to Suman Saha.

At least 37 records · Page 2Linked to original sources

arXiv2026

Mass estimates of the young TOI-451 transiting planets: Multidimensional Gaussian Process on stellar spectroscopic and photometric signals

The young TOI-451 planetary system, aged 125 Myr, provides a unique opportunity to test theories of planetary internal structures and atmospheric mass loss through examination of its three transiting planets. We present an exhaustive photometric and spectroscopic follow-up to determine the orbital and physical properties of the system. We perform multidimensional Gaussian Process regression with the code pyaneti on spectroscopic time-series and NGTS/LCO light curves to disentangle the stellar and planetary signal in ESPRESSO radial velocities. We show how contemporaneous photometry serves as an activity indicator to inform RV modelling within a multidimensional Gaussian Processes framework. We argue that this can be exploited when spectroscopic observations are adversely affected by low signal-to-noise and/or poor sampling. We estimate the Doppler semi-amplitudes of Kb = 2.6(+1.1,-1.2) m/s, Kc = 1.2(+1.0,-0.8) m/s and Kd = 2.7 +/- 1.2 m/s. This translates into 2-sigma mass estimates for TOI-451 b and d of Mb = 4.7(+2.1,-2.2) Earth masses and Md = 10.2(+4.6,-4.5) Earth masses, as well as a mass upper limit for TOI-451 c of Mc < 11.5 Earth masses. The derived planetary properties suggest that planets c and d contain significant hydrogen-rich envelopes. The inferred parameters of TOI-451 b are consistent with either a rocky world that still retains a small hydrogen envelope or a water world. These insights make the TOI-451 system an ideal laboratory for future follow-up studies aimed at measuring atmospheric compositions, detecting atmospheric mass-loss signatures, and further exploring planetary formation and evolution processes.

astro-ph.EP↗

arXiv2026

SecureCodeRL: Security-Aware Reinforcement Learning for Code Generation with Partial-Credit Rewards

Large Language Models (LLMs) can generate plausible code, but in settings that require exact stdin/stdout behavior they frequently produce programs that compile yet fail tests, and in some cases they introduce security-sensitive patterns. This paper presents SecureCodeRL, a reinforcement learning (RL) pipeline for security-aware code generation that optimizes a combined reward R = αRfunc + \b{eta}Rsec. The key idea is a partial-credit functional reward that assigns intermediate scores for syntactic validity, successful execution, and producing output, reducing reward sparsity that otherwise stalls learning on competitive programming style tasks. I evaluate supervised fine-tuning (SFT) and PPO variants on a small held-out prompt set from APPS+ and observe that PPO with partial credit (using a continued-training variant) improves syntax validity from 45% (SFT) to 60% and achieves the only non-zero test success signal in this pilot evaluation (5% at-least-one-test-pass), while remaining 100% clean under Bandit static analysis. Although Bandit findings were absent in this small evaluation, the security term is integrated into training to discourage insecure shortcuts when they appear.

cs.CR↗

arXiv2026

Rule-Based Approaches to Atomic Sentence Extraction

Natural language often combines multiple ideas into complex sentences. Atomic sentence extraction, the task of decomposing complex sentences into simpler sentences that each express a single idea, improves performance in information retrieval, question answering, and automated reasoning systems. Previous work has formalized the "split-and-rephrase" task and established evaluation metrics, and machine learning approaches using large language models have improved extraction accuracy. However, these methods lack interpretability and provide limited insight into which linguistic structures cause extraction failures. Although some studies have explored dependency-based extraction of subject-verb-object triples and clauses, no principled analysis has examined which specific clause structures and dependencies lead to extraction difficulties. This study addresses this gap by analyzing how complex sentence structures, including relative clauses, adverbial clauses, coordination patterns, and passive constructions, affect the performance of rule-based atomic sentence extraction. Using the WikiSplit dataset, we implemented dependency-based extraction rules in spaCy, generated 100 gold=standard atomic sentence sets, and evaluated performance using ROUGE and BERTScore. The system achieved ROUGE-1 F1 = 0.6714, ROUGE-2 F1 = 0.478, ROUGE-L F1 = 0.650, and BERTScore F1 = 0.5898, indicating moderate-to-high lexical, structural, and semantic alignment. Challenging structures included relative clauses, appositions, coordinated predicates, adverbial clauses, and passive constructions. Overall, rule-based extraction is reasonably accurate but sensitive to syntactic complexity.

cs.CL↗

arXiv2026

Improving LLM-Assisted Secure Code Generation through Retrieval-Augmented-Generation and Multi-Tool Feedback

Large Language Models (LLMs) can generate code but often introduce security vulnerabilities, logical inconsistencies, and compilation errors. Prior work demonstrates that LLMs benefit substantially from structured feedback, static analysis, retrieval augmentation, and execution-based refinement. We propose a retrieval-augmented, multi-tool repair workflow in which a single code-generating LLM iteratively refines its outputs using compiler diagnostics, CodeQL security scanning, and KLEE symbolic execution. A lightweight embedding model is used for semantic retrieval of previously successful repairs, providing security-focused examples that guide generation. Evaluated on a combined dataset of 3,242 programs generated by DeepSeek-Coder-1.3B and CodeLlama-7B, the system demonstrates significant improvements in robustness. For DeepSeek, security vulnerabilities were reduced by 96%. For the larger CodeLlama model, the critical security defect rate was decreased from 58.55% to 22.19%, highlighting the efficacy of tool-assisted self-repair even on "stubborn" models.

cs.CR↗

arXiv2025

Evolution of Buffer Management in Database Systems: From Classical Algorithms to Machine Learning and Disaggregated Memory

Buffer management remains a critical component of database and operating system performance, serving as the primary mechanism for bridging the persistent latency gap between CPU processing speeds and storage access times. This paper provides a comprehensive survey of buffer management evolution spanning four decades of research. We systematically analyze the progression from foundational algorithms like LRU-K, 2Q, LIRS, and ARC to contemporary machine learning-augmented policies and disaggregated memory architectures. Our survey examines the historical OS-DBMS architectural divergence, production system implementations in PostgreSQL, Oracle, and Linux, and emerging trends including eBPF-based kernel extensibility, NVM-aware tiering strategies, and RDMA-enabled memory disaggregation. Through analysis of over 50 seminal papers from leading conferences (SIGMOD, VLDB, OSDI, FAST), we identify key architectural patterns, performance trade-offs, and open research challenges. We conclude by outlining a research direction that integrates machine learning with kernel extensibility mechanisms to enable adaptive, cross-layer buffer management for heterogeneous memory hierarchies in modern database systems.

cs.DB↗

arXiv2025

A 43 day transiting Neptune and two 25 day Saturns from TESS, NGTS and ASTEP

Beyond orbital periods of 10 days, there is a dearth of known transiting gas giants. On longer orbits, planets are less affected by their host star, and become ideal probes of planet formation, migration and evolution. We report the discovery of a long period Neptune and two Saturns, each initially identified as single transits in the TESS photometry, and solved through additional transits from ground-based follow-up photometric observations by NGTS and ASTEP. High-resolution radial velocity mass measurements using CORALIE and HARPS confirm their planetary nature. From joint modelling of the photometric and spectroscopic data, we determine an orbital period of $43.12655_{-0.00017}^{+0.00012}~$days, radius of $3.65\pm0.22~\mathrm{R_{\oplus}}$, and mass of $19.1_{-4.5}^{+4.9}~\mathrm{M_{\oplus}}$ for NGTS-34b, making it one of the longest period well-characterized transiting Neptunes. Orbiting a late F-type star, bright in the K-band (Kmag$~\simeq7.9$), it is amenable for cool atmosphere studies using JWST or Ariel. TOI-4940b is a small Saturn on a $25.867811_{-0.000056}^{+0.000058}~$day orbit with a radius of $6.61\pm0.37~\mathrm{R_{\oplus}}$ and an upper mass limit $<89~\mathrm{M_{\oplus}}$. NGTS-35b(=TOI-6669b) is a larger Saturn on a $25.241192\pm0.000022~$day, moderately eccentric orbit ($e = 0.192_{-0.033}^{+0.037}$), with a radius of $10.90\pm0.65~\mathrm{R_{\oplus}}$ and a mass of $152_{-19}^{+22}~\mathrm{M_{\oplus}}$. With an assumed albedo $A=0.3$, each of these planets has an equilibrium temperature below 700K, with NGTS-35b especially cold at $450~$K. These three giants add to the small but growing population of long period planets that can further our understanding of planet formation mechanisms.

astro-ph.EP↗

arXiv2025

Early-Warning Signals of Political Risk in Stablecoin Markets: Human and Algorithmic Behavior Around the 2024 U.S. Election

We study how the 2024 U.S. presidential election, viewed as a major political risk event, affected cryptocurrency markets by distinguishing human-driven peer-to-peer stablecoin transactions from automated algorithmic activity. Using structural break analysis, we find that human-driven Ethereum Request for Comment 20 (ERC-20) transactions shifted on November 3, two days before the election, while exchange trading volumes reacted only on Election Day. Automated smart-contract activity adjusted much later, with structural breaks appearing in January 2025. We validate these shifts using surrogate-based robustness tests. Complementary energy-spectrum analysis of Bitcoin and Ethereum identifies pronounced post-election turbulence, and a structural vector autoregression confirms a regime shift in stablecoin dynamics. Overall, human-driven stablecoin flows act as early-warning indicators of political stress, preceding both exchange behavior and algorithmic responses.

q-fin.ST↗

arXiv2025

Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution

Obfuscation poses a persistent challenge for software engineering tasks such as program comprehension, maintenance, testing, and vulnerability detection. While compiler optimizations and third-party code often introduce transformations that obscure program intent, existing analysis tools and large language models (LLMs) struggle to recover the original semantics. In this work, we investigate whether LLMs, when fine-tuned with symbolic execution artifacts, can effectively deobfuscate programs and restore analyzability. We construct a benchmark by applying four widely studied transformations-control-flow flattening, opaque predicates, arithmetic encoding, and branch encoding-across diverse C programs from TUM Obfuscation Benchmarks, the LLVM test suite, and algorithmic repositories. We then compare three state-of-the-art LLMs under two training configurations: baseline fine-tuning on obfuscated/original code pairs, and enhanced fine-tuning with additional KLEE artifacts such as SMT constraints, path statistics, and test cases. Our evaluation examines syntactic correctness (compilation success), semantic fidelity (behavioral equivalence under symbolic execution), and code quality (readability and structure). Results show that GPT-4.1-mini achieves the strongest deobfuscation overall, and that incorporating KLEE artifacts consistently improves semantic preservation and compilation success across models. These findings highlight deobfuscation as a broader software engineering concern, demonstrating that combining LLMs with symbolic execution can strengthen automated testing, static analysis, and program comprehension in the presence of obfuscation.

cs.SE↗

arXiv2025

TOI-333b: A Neptune Desert planet around a F7V star

Observations have shown that planets similar to Neptune are rarely found orbiting Sun-like stars with periods up to ~4 days, defining the so-called Neptune desert region. Therefore, the detection of each individual planet in this region holds a high value, providing detailed insights into how such a population came to form and evolve. Here we report the detection of TOI-333b, a Neptune desert planet with a mass, radius, and bulk density of 20.1 $\pm$ 2.4 M$_{\oplus}$, 4.26 $\pm$ 0.11 R$_{\oplus}$, and 1.42 $\pm$ 0.21 \gccc, respectively. The planet orbits a F7V star every 3.78 d, whose mass, radius and effective temperature are of 1.2 $\pm$ 0.1 \msun, 1.10 $\pm$ 0.03 \rsun, and 6241$^{+73}_{-62}$ K, respectively. TOI-333b is likely younger than 1 Gyr, which is supported by the presence of the doublet Li line around 6707.856 textup{~Å} and its comparison to Li abundances in open clusters with well constrained ages. The planet is expected to host only 8.5$^{+10.9}_{-8.3}\%$ gas-to-core mass ratio for a H/He envelope. On the other hand, irradiated ocean world models predict 20$^{+11}_{-10}\%$ H$_2$O mass fraction with a core fraction of 35$^{+20}_{-23}\%$. Therefore, we expect that TOI-333b internal composition may be dominated by a pure rocky composition with almost no H/He envelope, or a rocky world with almost equal mass fraction of water. Finally, TOI-333b is more massive and larger than 77$\%$ and 82$\%$ of its Neptune desert counterparts, respectively, while its host ranks among the hottest known for Neptune Desert planets, making this system a unique laboratory to study the evolution of such planets around hot stars.

astro-ph.EP↗

arXiv2025

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?

Symbolic execution helps check programs by exploring different paths based on symbolic inputs. Tools like KLEE are commonly used because they can automatically detect bugs and create test cases. But one of KLEE's biggest issues is how slow it can get when programs have lots of branching paths-it often becomes too resource-heavy to run on large or complex code. In this project, we wanted to see if a large language model like GPT-4o could simulate the kinds of outputs that KLEE generates. The idea was to explore whether LLMs could one day replace parts of symbolic execution to save time and resources. One specific goal was to have GPT-4o identify the most constrained path in a program, this is the execution path with the most symbolic conditions. These paths are especially important because they often represent edge cases that are harder to test and more likely to contain deep bugs. However, figuring this out usually requires fully running KLEE, which can be expensive. So, we tested whether GPT-4o could predict the KLEE outputs and the most complex path using a dataset of 100 C programs. Our results showed about 20% accuracy in generating KLEE-like outputs and identifying the most constrained path. While not highly accurate, this early work helps show what current LLMs can and can't do when it comes to simulating symbolic execution.

cs.SE↗

arXiv2025

Evidence of Titanate Clouds in the Day-side Atmosphere of the Ultra-Hot Jupiter WASP-121b

The day-side atmospheres of the hottest ultra-hot Jupiters (UHJs) have long been subject to speculation about cloud formation, often without direct observational evidence. Here, we present a detailed analysis of the panchromatic day-side emission spectrum of WASP-121b$\unicode{x2014}$one of the hottest known UHJs$\unicode{x2014}$covering a broad wavelength range of $\sim$0.6-5.1$\unicode{x00B5}$m, based on archival JWST observations from NIRISS and NIRSpec/G396H. We report statistically significant detections of several key molecular species, including H$_2$O (13.4 $σ$), CO (14.7 $σ$), SiO (4.9 $σ$), TiO (5.4 $σ$), and VO (6.6 $σ$), establishing WASP-121b as one of the most thoroughly characterized exoplanetary atmospheres to date. Additionally, we present the robust detection of Titanate (CaTiO$_3$) clouds at 6.7$σ$$\unicode{x2014}$the first such detection in any exoplanet atmosphere. Our analysis further reveals strong evidence of TiO depletion, likely due to sequestration into refractory condensates such as Titanate clouds. The precisely constrained molecular abundances yield a super-solar C/O ratio of 0.963$\pm$0.024, a sub-solar Si/O ratio of 0.034$\pm$0.024, and a metallicity of 4.7$_{-1.38}^{+1.99}$ $\times$solar. These findings offer a unique window into the atmospheric chemistry of an extreme UHJ, positioning WASP-121b as a key benchmark for next-generation models of atmospheric evolution and dynamics.

astro-ph.EP↗

arXiv2025

NGTS-11 c: a transiting Neptune-mass planet interior to the warm Saturn NGTS-11 b

We report the discovery of NGTS-11 c, a transiting warm Neptune ($P \approx 12.8$ d; $M_{p} = 1.2^{+0.3}_{-0.2} M_{\mathrm{Nep}}$; $R_{p} = 1.24 \pm 0.03 R_{\mathrm{Nep}}$), in an orbit interior to the previously reported transiting warm Saturn NGTS-11 b ($P \approx 35.5$ d). We also find evidence of a third outer companion orbiting the K-dwarf NGTS-11. We first detected transits of NGTS-11 c in TESS light curves and confirmed them with follow-up transits from NGTS and many other ground-based facilities. Radial-velocity monitoring with the HARPS and FEROS spectrographs revealed the mass of NGTS-11 c and provides evidence for a long-period companion ($P > 2300$ d; $M_{p} \sin i > 3.6 M_{\mathrm{Jup}}$). Taking into account the two additional bodies in our expanded datasets, we find that the mass of NGTS-11 b ($M_{p} = 0.63 \pm 0.09 M_{\mathrm{Sat}}$; $R_{p} = 0.97 \pm 0.02 R_{\mathrm{Sat}}$) is lower than previously reported ($M_{p} = 1.2 \pm 0.3 M_{\mathrm{Sat}}$). Given their near-circular and compact orbits, NGTS-11 c and b are unlikely to have reached their present locations via high-eccentricity migration. Instead, they probably either formed in situ or formed farther out and then underwent disk migration. A comparison of NGTS-11 with the eight other known systems hosting multiple well-characterized warm giants shows that it is most similar to Kepler-56. Finally, we find that the commonly used 10-day boundary between hot and warm Jupiters is empirically well supported.

astro-ph.EP↗

arXiv2025

A Metal-Rich Atmosphere with a Super-Solar C/O Ratio for the Extreme Ultra-Hot Jupiter WASP-178b

The population of ultra-hot Jupiters (UHJs) provide unique opportunities to probe the extreme formation and evolutionary pathways in exoplanets. Owing to their very high temperatures and inflated atmospheres, UHJs are among the most favorable targets for both transmission and emission spectroscopy, enabling detailed characterization of their atmospheric properties. Here, we present a reanalysis of the JWST NIRSpec/G395H transmission spectra of the extreme ultra-hot Jupiter (EUHJ) WASP-178b, aimed at precisely characterizing its atmospheric composition. Our approach combines data reduction using two independent pipelines, lightcurve modeling with robust detrending techniques, and rigorous atmospheric retrievals. We report statistically significant detections of CO (7.24 $σ$) and CO$_2$ (7.22 $σ$), along with marginal evidence for C$_2$H$_2$ (1.34 $σ$), but no clear evidence for H$_2$O, suggesting depletion. From these retrieved abundances, we constrain the C/O ratio to a precise super-solar value of 0.954$\pm$0.033, consistent with an emerging trend in other UHJs. We also infer a very high atmospheric metallicity for a Jupiter-sized gas giant$\unicode{x2014}$11.44$_{-6.94}^{+12.54}$ $\times$solar$\unicode{x2014}$indicating unique atmospheric evolutions. These findings provide a critical benchmark for an extreme exoplanet atmosphere, offering a testbed for developing next-generation atmospheric evolution models and enabling comparative population-level studies across the UHJ population.

astro-ph.EP↗

arXiv2025

NGTS-EB-8: A double-lined eclipsing M+M binary discovered by citizen scientists

We report the identification and characterization of a new binary system composed of two near-equal mass M-dwarfs. The binary NGTS-EB-8 was identified as a planet candidate in data from the Next Generation Transit Survey (NGTS) by citizen scientists participating in the Planet Hunters NGTS project. High-resolution spectroscopic observations reveal the system to be a double-lined binary. By modeling the photometric and radial velocity observations, we determine an orbital period of 4.2 days and the masses and radii of both stars to be $M_A=0.250^{+0.005}_{-0.004}$ M$_{\odot}$, $M_B=0.208^{+0.005}_{-0.004}$ M$_{\odot}$, $R_A=0.255^{+0.004}_{-0.005}$ R$_{\odot}$, $R_B=0.233^{+0.006}_{-0.005}$ R$_{\odot}$. We detect Balmer line emission from at least one of the stars but no significant flare activity. We note that both components lie in the fully convective regime of low-mass stars ($<0.35$ M$_{\odot}$), therefore can be a valuable test for stellar evolutionary models. We demonstrate that the photometric observations, speckle imaging and initial radial velocity measurements were unable to identify the true nature of this system and highlight that high-resolution spectroscopic observations are crucial in determining whether systems such as this are in fact binaries.

astro-ph.SR↗

arXiv2025

Heat Reveals What Clouds Conceal: Global Carbon & Longitudinally Asymmetric Chemistry on LTT 9779 b

LTT-9779 b is an ultra-hot Neptune (Rp ~ 4.7 Re, Mp ~ 29 Me) orbiting its Sun-like host star in just 19 hours, placing it deep within the "hot Neptune desert," where Neptunian planets are seldom found. We present new JWST NIRSpec G395H phase-curve observations that probe its atmospheric composition in unprecedented detail. At near-infrared wavelengths, which penetrate the high-altitude clouds inferred from previous NIRISS/SOSS spectra, thermal emission reveals a carbon-rich atmosphere with opacity dominated by carbon monoxide (CO) and carbon dioxide (CO2). Both species are detected at all orbital phases, with retrieved mixing ratios of 10^-1 for CO and 10^-4 for CO2, indicating a globally well-mixed reservoir of carbon-bearing gases. We also moderately detect water vapor (H2O) and tentatively detect sulfur dioxide (SO2), providing insight into its chemistry and possible photochemical production under intense stellar irradiation. From these detections we infer a carbon-to-oxygen ratio near unity (C/O ~ 1) and a metallicity exceeding 500X Solar, consistent with equilibrium chemistry predictions for high-temperature atmospheres. This enrichment raises the mean molecular weight, reducing atmospheric escape, and likely helps LTT-9779 b retain a substantial atmosphere despite extreme irradiation. Our findings show that LTT-9779 b survives where few planets can, maintaining a carbon-rich atmosphere in a region where hot Neptune-class worlds are expected to evaporate. This makes LTT-9779 b a valuable laboratory for studying atmospheric escape and chemical processes under extreme conditions, offering new insight into the survival of planets in the hot Neptune desert.

astro-ph.EP↗

arXiv2025

Explainable Gait Abnormality Detection Using Dual-Dataset CNN-LSTM Models

Gait is a key indicator in diagnosing movement disorders, but most models lack interpretability and rely on single datasets. We propose a dual-branch CNN-LSTM framework a 1D branch on joint-based features from GAVD and a 3D branch on silhouettes from OU-MVLP. Interpretability is provided by SHAP (temporal attributions) and Grad-CAM (spatial localization).On held-out sets, the system achieves 98.6% accuracy with strong recall and F1. This approach advances explainable gait analysis across both clinical and biometric domains.

cs.CV↗

arXiv2025

DeliverC: Teaching Pointers through GenAI-Powered Game-Based Learning

While game-based learning is widely used in programming education, few tools offer adaptive, real-time support for complex topics, such as C pointers. We present DeliverC, a GenAI-enhanced game that integrates GPT-4-mini to provide personalized hints and generate pointer-related challenges on the fly. In a pilot study involving 25 undergraduate students, we investigated the impact of the system on learning through gameplay data and a 15-item survey that covered constructs such as motivation, self-efficacy, metacognition, and feedback quality. Results show that most students felt more confident and reflective after using the tool, and error rates decreased as students progressed through scaffolded levels. However, participation decreased with task difficulty, and some students reported receiving unclear or vague feedback. These findings suggest that DeliverC can enhance engagement and understanding in systems programming, although refinement in AI-generated feedback is still needed. Our study highlights the potential of combining GenAI with game-based learning to support personalized and interactive practice in traditionally challenging programming domains.

cs.PL↗

arXiv2025

Destruction of "Peas in a Pod?" A Candidate Multi-planet System Around the Nearby, Bright Star, HD208487

We re-investigate the HD208487 system to test the reality of the proposed HD208487c world. We also search for additional companions using applied Bayesian statistics and 15+ years of new RV data from the HARPS and the PFS instruments that were taken post-discovery of HD208487b. The RV data was analyzed with GLS Periodograms, followed by Bayesian analysis using the EMPEROR code. We scrutinised various stellar activity indices to search for any corresponding peaks in the power spectra, correlations with the RV measurements, or significant signals from a Bayesian analysis methodology. Finally, photometric data was checked to test for any transits or possible activity manifestations that could lead to possible false RV signals or excess noise. Our analysis points towards a candidate second planet in the system, positioned near the period of a previously proposed and subsequently challenged signal. This signal, HD208487c, would relate to a cool Saturn with an orbital period of 923.06 +2.02 -2.76 d and a minimum mass of Mj sini = 0.32 +/- 0.01Mj. Our analysis also gives rise to a newly discovered candidate planet, HD208487d, which would be the result of a cool super-Neptune/sub-Saturn with a period of 1380.13 +19.20 -8.25 d and a minimum mass of Mj sini = 0.15 +/- 0.01Mj. Neither stellar activity indices nor photometric data show signals statistically matching these periods. We have uncovered a candidate three planet system that would consist of an inner gas giant, a central Saturn and an outer super-Neptune/sub-Saturn. A dynamical analysis suggests that gravitational scattering of an initially ordered, equally-spaced system in a long resonant chain of six Neptunes can explain the current proposed architecture of HD208487. More RVs may also shed light on the reality of a fourth Doppler signal uncovered in the data that sits close to the 2:1 period-ratio with signal of HD208487c.

astro-ph.EP↗